BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × France
1 × Korea
1 × United Kingdom
2 × Denmark
5 × Italy
6 × USA
Collaborated with:
∅ K.Doh B.Steffen H.Kim A.Banerjee S.Even N.D.Jones M.Huth R.Jagadeesan M.Müller-Olm
Talks about:
abstract (7) interpret (5) semant (5) program (4) analysi (4) generat (3) model (3) check (3) type (3) pars (3)

Person: David A. Schmidt

DBLP DBLP: Schmidt:David_A=

Facilitated 4 volumes:

VMCAI 2011Ed
ESOP 2004Ed
SAS 1996Ed
PEPM 1993Ed

Contributed to:

SAS 20132013
SAS 20092009
VMCAI 20082008
SAS 20062006
SAS 20042004
ESOP 20012001
PPDP 20012001
PADL 19991999
SAS 19991999
POPL 19981998
SAS 19981998
SAS 19951995
SAS 19941994
ESOP 19921992
ESOP 19901990
CADE 19841984
SDCG 19801980

Wrote 19 papers:

SAS-2013-KimDS #documentation #html #parsing #semantics #validation
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing (HK, KGD, DAS), pp. 194–214.
SAS-2009-DohKS #parsing #static analysis #string #using
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology (KGD, HK, DAS), pp. 256–272.
SAS-2009-Schmidt #abstract interpretation #perspective
Abstract Interpretation from a Topological Perspective (DAS), pp. 293–308.
VMCAI-2008-Schmidt #abstract interpretation #logic
Internal and External Logics of Abstract Interpretations (DAS), pp. 263–278.
SAS-2006-Schmidt #approximate
Underapproximating Predicate Transformers (DAS), pp. 127–143.
SAS-2004-Schmidt #approximate #logic
Closed and Logical Relations for Over- and Under-Approximation of Powersets (DAS), pp. 22–37.
ESOP-2001-HuthJS #program analysis
Modal Transition Systems: A Foundation for Three-Valued Program Analysis (MH, RJ, DAS), pp. 155–169.
PPDP-2001-Schmidt #declarative #programming #question #uml
Should UML Be Used for Declarative Programming? (DAS), pp. 1–3.
PADL-1999-Schmidt #declarative #design
A Return to Elegance: The Reapplication of Declarative Notation to Software Design (DAS), pp. 360–364.
SAS-1999-Muller-OlmSS #model checking #named #tutorial
Model-Checking: A Tutorial Introduction (MMO, DAS, BS), pp. 330–354.
POPL-1998-Schmidt #abstract interpretation #analysis #data flow #model checking
Data Flow Analysis is Model Checking of Abstract Interpretations (DAS), pp. 38–48.
SAS-1998-SchmidtS #abstract interpretation #model checking #program analysis
Program Analysis as Model Checking of Abstract Interpretations (DAS, BS), pp. 351–380.
SAS-1995-Schmidt #abstract interpretation #semantics
Natural-Semantics-Based Abstract Interpretation (DAS), pp. 1–18.
SAS-1994-BanerjeeS #call-by #λ-calculus
Stackability in the Simply-Typed Call-by-Value λ Calculus (AB, DAS), pp. 131–146.
ESOP-1992-DohS #action semantics #semantics #type system
Extraction of Strong Typing Laws from Action Semantics Definitions (KGD, DAS), pp. 151–166.
ESOP-1990-EvenS #action semantics #semantics #type inference
Type Inference for Action Semantics (SE, DAS), pp. 118–133.
CADE-1984-Schmidt #programming #reasoning
A Programming Notation for Tactical Reasoning (DAS), pp. 445–459.
SDCG-1980-JonesS #compilation #generative #semantics
Compiler generation from denotational semantics (NDJ, DAS), pp. 70–93.
SDCG-1980-Schmidt #λ-calculus
State transition machines for λ calculus expressions (DAS), pp. 415–440.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.