Search the dblp DataBase
David A. Schmidt :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David A. Schmidt Comparing Completeness Properties of Static Analyses and Their Logics. [Citation Graph (0, 0)][DBLP ] APLAS, 2006, pp:183-199 [Conf ] David A. Schmidt Structure-Preserving Binary Relations for Program Abstraction. [Citation Graph (0, 0)][DBLP ] The Essence of Computation, 2002, pp:245-268 [Conf ] David A. Schmidt A Programming Notation for Tactical Reasoning. [Citation Graph (0, 0)][DBLP ] CADE, 1984, pp:445-459 [Conf ] Neil D. Jones , David A. Schmidt Compiler generation from denotational semantics. [Citation Graph (0, 0)][DBLP ] Semantics-Directed Compiler Generation, 1980, pp:70-93 [Conf ] David A. Schmidt State transition machines for lambda calculus expressions. [Citation Graph (0, 0)][DBLP ] Semantics-Directed Compiler Generation, 1980, pp:415-440 [Conf ] Austin Melton , David A. Schmidt , George E. Strecker Calois Connections and Computer Science Applications. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:299-312 [Conf ] Kyung-Goo Doh , David A. Schmidt Extraction of Strong Typing Laws from Action Semantics Definitions. [Citation Graph (0, 0)][DBLP ] ESOP, 1992, pp:151-166 [Conf ] Susan Even , David A. Schmidt Type Inference for Action Semantics. [Citation Graph (0, 0)][DBLP ] ESOP, 1990, pp:118-133 [Conf ] Michael Huth , Radha Jagadeesan , David A. Schmidt Modal Transition Systems: A Foundation for Three-Valued Program Analysis. [Citation Graph (0, 0)][DBLP ] ESOP, 2001, pp:155-169 [Conf ] David A. Schmidt Abstract Interpretation of Small-Step Semantics. [Citation Graph (0, 0)][DBLP ] LOMAPS, 1996, pp:76-99 [Conf ] Austin Melton , David A. Schmidt A Topological Framework of cpos Lacking Bottom Elements. [Citation Graph (0, 0)][DBLP ] Mathematical Foundations of Programming Semantics, 1985, pp:196-204 [Conf ] Anindya Banerjee , David A. Schmidt A Categorical Interpretation of Landin's Correspondence Principle. [Citation Graph (0, 0)][DBLP ] MFPS, 1993, pp:587-602 [Conf ] David A. Schmidt A Return to Elegance: The Reapplication of Declarative Notation to Software Design. [Citation Graph (0, 0)][DBLP ] PADL, 1999, pp:360-364 [Conf ] David A. Schmidt An implementation from a direct semantics definition. [Citation Graph (0, 0)][DBLP ] Programs as Data Objects, 1985, pp:222-235 [Conf ] David A. Schmidt Data Flow Analysis is Model Checking of Abstract Interpretations. [Citation Graph (0, 0)][DBLP ] POPL, 1998, pp:38-48 [Conf ] David A. Schmidt Should UML Be Used for Declarative Programming? [Citation Graph (0, 0)][DBLP ] PPDP, 2001, pp:1-3 [Conf ] Anindya Banerjee , David A. Schmidt Stackability in the Simply-Typed Call-by-Value Lambda Calculus. [Citation Graph (0, 0)][DBLP ] SAS, 1994, pp:131-146 [Conf ] Markus Müller-Olm , David A. Schmidt , Bernhard Steffen Model-Checking: A Tutorial Introduction. [Citation Graph (0, 0)][DBLP ] SAS, 1999, pp:330-354 [Conf ] David A. Schmidt , Bernhard Steffen Program Analysis as Model Checking of Abstract Interpretations. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:351-380 [Conf ] David A. Schmidt Closed and Logical Relations for Over- and Under-Approximation of Powersets. [Citation Graph (0, 0)][DBLP ] SAS, 2004, pp:22-37 [Conf ] David A. Schmidt Underapproximating Predicate Transformers. [Citation Graph (0, 0)][DBLP ] SAS, 2006, pp:127-143 [Conf ] David A. Schmidt Natural-Semantics-Based Abstract Interpretation (Preliminary Version) [Citation Graph (0, 0)][DBLP ] SAS, 1995, pp:1-18 [Conf ] Kyung-Goo Doh , David A. Schmidt Action Semantics-Directed Prototyping. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1993, v:19, n:4, pp:213-233 [Journal ] Daniel Le Métayer , David A. Schmidt Structural Operational Semantics as a Basis for Static Program Analysis. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:2, pp:340-343 [Journal ] David A. Schmidt Programming Language Semantics. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:1, pp:265-267 [Journal ] David A. Schmidt On the Need for a Popular Formal Semantics. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4es, pp:175- [Journal ] Husain Ibraheem , David A. Schmidt Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and ``Higher-Order'' Derivations. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal ] David A. Schmidt Extracting Program Logics From Abstract Interpretations Defined by Logical Relations. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:339-356 [Journal ] Masaaki Mizuno , David A. Schmidt A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1992, v:4, n:6A, pp:727-754 [Journal ] David A. Schmidt Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:89-101 [Journal ] David A. Schmidt Trace-Based Abstract Interpretation of Operational Semantics. [Citation Graph (0, 0)][DBLP ] Lisp and Symbolic Computation, 1998, v:10, n:3, pp:237-271 [Journal ] Michael Huth , Radha Jagadeesan , David A. Schmidt A domain equation for refinement of partial systems. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2004, v:14, n:4, pp:469-505 [Journal ] Anindya Banerjee , David A. Schmidt Stackability in the Simply-Typed Call-by-Value lambda Calculus. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1998, v:31, n:1, pp:47-73 [Journal ] David A. Schmidt Detecting Stack-Based Environments in Denotational Definitions. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1988, v:11, n:2, pp:107-131 [Journal ] David A. Schmidt A calculus of logical relations for over- and underapproximating static analyses. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:64, n:1, pp:29-53 [Journal ] David A. Schmidt On the Need for a Popular Formal Semantics. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1997, v:32, n:1, pp:115-116 [Journal ] Susan Even , David A. Schmidt Category-Sorted Algebra-Based Action Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:77, n:1&2, pp:73-95 [Journal ] Adrian Fiech , David A. Schmidt Polymorphic lambda calculus and subtyping. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:278, n:1-2, pp:111-140 [Journal ] David A. Schmidt Approximation Properties of Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1983, v:24, n:, pp:73-94 [Journal ] David A. Schmidt Detecting Global Variables in Denotational Specifications. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1985, v:7, n:2, pp:299-310 [Journal ] Automata-Based Confidentiality Monitoring. [Citation Graph (, )][DBLP ] An Action Semantics Based on Two Combinators. [Citation Graph (, )][DBLP ] Design of Single-Group Multicasting-Beamformers. [Citation Graph (, )][DBLP ] Distributed Interference Pricing for the MIMO Interference Channel. [Citation Graph (, )][DBLP ] Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. [Citation Graph (, )][DBLP ] Abstract Interpretation from a Topological Perspective. [Citation Graph (, )][DBLP ] Internal and External Logics of Abstract Interpretations. [Citation Graph (, )][DBLP ] Point-to-point MIMO MMSE vector precoding and thp achieving capacity. [Citation Graph (, )][DBLP ] Abstract Interpretation From a Denotational-semantics Perspective. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.309secs