24 Publications
2012
Inverse-limit and topological aspects of abstract interpretation
Schmidt, David A
Theoretical Computer Science, vol. 430, pp. 42, 2012-04-27. | Journal Article
2009
Abstract Interpretation From a Denotational-semantics Perspective
Schmidt, David A
Electronic Notes in Theoretical Computer Science, vol. 249, pp. 37, 2009-08-08. | Journal Article
2008
Minimum mean square error vector precoding
Schmidt, David AJoham, Michael and Utschick, Wolfgang
European Transactions on Telecommunications, vol. 19, (no. 3), pp. 231, April 2008. | Journal Article
2007
A calculus of logical relations for over- and underapproximating static analyses
Schmidt, David A
Science of Computer Programming, vol. 64, (no. 1), pp. 53, 2007. | Journal Article
 
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
Schmidt, David A
Electronic Notes in Theoretical Computer Science, vol. 173, pp. 356, 2007-04-02. | Journal Article
 
State-transition machines for lambda-calculus expressions
Schmidt, David
Higher-Order and Symbolic Computation, vol. 20, (no. 3), pp. 332, 20070900. | Journal Article
 
State-transition machines, revisited
Schmidt, David
Higher-Order and Symbolic Computation, vol. 20, (no. 3), pp. 335, 20070900. | Journal Article
2004
A domain equation for refinement of partial systems
HUTH, MICHAEL R AJAGADEESAN, RADHA and Schmidt, David A
Mathematical Structures in Computer Science, vol. 14, (no. 4), pp. 469-505, Aug 2004. | Journal Article
2002
Polymorphic lambda calculus and subtyping
Fiech, Adrian and Schmidt, David A
Theoretical Computer Science, vol. 278, (no. 1-2), pp. 111-140, 2002. | Journal Article
2001
Should UML be used for declarative programming?
Schmidt, David A
International Conference on Principles and Practice of Declarative Programming: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming; 05-07 Sept. 2001. 2001. | Conference Proceeding
2000
Induction, domains, calculi: Strachey's contributions to programming-language engineering
Schmidt, David A
HIGH ORDER SYMBOL COMPUT, vol. 13, (no. 1), pp. 89-101, 2000. | Journal Article
1998
Data flow analysis is model checking of abstract interpretations
Schmidt, David A
CONF REC ANNU ACM SYMP PRINC PROGRAM LANG. pp. 38-48. 1998, 1998. | Journal Article
 
Data flow analysis is model checking of abstract interpretations
Schmidt, David A
Annual Symposium on Principles of Programming Languages: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 19-21 Jan. 1998. 1998. | Conference Proceeding
 
Stackability in the simply-typed call-by-value lambda calculus
Banerjee, AnindyaBanerjee, AnindyaSchmidt, David A and Schmidt, David A
Science of Computer Programming, vol. 31, (no. 1), pp. 73, 1998-05-01. | Journal Article
 
Trace-based abstract interpretation of operational semantics
Schmidt, David A
LISP SYMB COMPUT, vol. 10, (no. 3), pp. 237-271, 1998. | Journal Article
1997
On the need for a popular formal semantics
Schmidt, David A
ACM SIGPLAN Notices, vol. 32, (no. 1), pp. 115-116, 1997. | Journal Article
1996
On the need for a popular formal semantics
Schmidt, David A
ACM Computing Surveys, vol. 28, (no. 4es), 1996. | Journal Article
 
Programming language semantics
Schmidt, David A
ACM Computing Surveys, vol. 28, (no. 1), pp. 265, Mar 1996. | Journal Article
 
Structural operational semantics as a basis for static program analysis
Le Metayer, Daniel and Schmidt, David A
ACM Computing Surveys, vol. 28, (no. 2), pp. 340, Jun 1996. | Journal Article
1992
A security flow control algorithm and its denotational semantics correctness proof
Mizuno, Masaaki and Schmidt, David
Formal Aspects of Computing, vol. 4, (no. S1), pp. 754, 1992-11-00. | Journal Article
1990
Category-sorted algebra-based action semantics.
Even, S. and Schmidt, David A
THEOR. COMP. SCI., vol. 77, (no. 1-2), pp. 73-95, 1990. | Journal Article
1988
Detecting stack-based environments in denotational definitions.
Schmidt, David A
SCI. COMP. PROGRAM., vol. 11, (no. 2), pp. 107-131, 1988. | Journal Article
1985
Detecting global variables in denotational specifications
Schmidt, David A
ACM Transactions on Programming Languages and Systems, vol. 7, (no. 2), pp. 299-310, 1985. | Journal Article
1981
COMPILER GENERATION FROM LAMBDA CALCULUS DEFINITIONS OF PROGRAMMING LANGUAGES (Dissertation)
Schmidt, David A (1981).