The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David A. Schmidt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David A. Schmidt
    Comparing Completeness Properties of Static Analyses and Their Logics. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:183-199 [Conf]
  2. David A. Schmidt
    Structure-Preserving Binary Relations for Program Abstraction. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:245-268 [Conf]
  3. David A. Schmidt
    A Programming Notation for Tactical Reasoning. [Citation Graph (0, 0)][DBLP]
    CADE, 1984, pp:445-459 [Conf]
  4. 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]
  5. David A. Schmidt
    State transition machines for lambda calculus expressions. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:415-440 [Conf]
  6. 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]
  7. 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]
  8. Susan Even, David A. Schmidt
    Type Inference for Action Semantics. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:118-133 [Conf]
  9. 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]
  10. David A. Schmidt
    Abstract Interpretation of Small-Step Semantics. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:76-99 [Conf]
  11. 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]
  12. Anindya Banerjee, David A. Schmidt
    A Categorical Interpretation of Landin's Correspondence Principle. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:587-602 [Conf]
  13. 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]
  14. David A. Schmidt
    An implementation from a direct semantics definition. [Citation Graph (0, 0)][DBLP]
    Programs as Data Objects, 1985, pp:222-235 [Conf]
  15. David A. Schmidt
    Data Flow Analysis is Model Checking of Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:38-48 [Conf]
  16. David A. Schmidt
    Should UML Be Used for Declarative Programming? [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:1-3 [Conf]
  17. 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]
  18. 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]
  19. David A. Schmidt, Bernhard Steffen
    Program Analysis as Model Checking of Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:351-380 [Conf]
  20. 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]
  21. David A. Schmidt
    Underapproximating Predicate Transformers. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:127-143 [Conf]
  22. David A. Schmidt
    Natural-Semantics-Based Abstract Interpretation (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:1-18 [Conf]
  23. 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]
  24. 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]
  25. David A. Schmidt
    Programming Language Semantics. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:1, pp:265-267 [Journal]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]

  41. Automata-Based Confidentiality Monitoring. [Citation Graph (, )][DBLP]


  42. An Action Semantics Based on Two Combinators. [Citation Graph (, )][DBLP]


  43. Design of Single-Group Multicasting-Beamformers. [Citation Graph (, )][DBLP]


  44. Distributed Interference Pricing for the MIMO Interference Channel. [Citation Graph (, )][DBLP]


  45. Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. [Citation Graph (, )][DBLP]


  46. Abstract Interpretation from a Topological Perspective. [Citation Graph (, )][DBLP]


  47. Internal and External Logics of Abstract Interpretations. [Citation Graph (, )][DBLP]


  48. Point-to-point MIMO MMSE vector precoding and thp achieving capacity. [Citation Graph (, )][DBLP]


  49. Abstract Interpretation From a Denotational-semantics Perspective. [Citation Graph (, )][DBLP]


Search in 0.013secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002