The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Peter V. Homeier, David F. Martin
    Mechanical Verification of Mutually Recursive Procedures. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:201-215 [Conf]
  2. Laurian M. Chirica, David F. Martin
    An Algebraic Formulation of Knuthian Semantics [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:127-136 [Conf]
  3. David F. Martin, Steven A. Vere
    On Syntax-Directed Transduction and Tree Transducers [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:129-135 [Conf]
  4. David F. Martin, R. J. Toal
    Case Studies in Compiler Correctness Using HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:242-252 [Conf]
  5. Peter V. Homeier, David F. Martin
    Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:269-284 [Conf]
  6. Peter V. Homeier, David F. Martin
    Mechanical Verification of Total Correctness through Diversion Verification Conditions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:189-206 [Conf]
  7. David F. Martin
    Programming Languages: Boolean matrix methods for the detection of simple precedence grammars. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1968, v:11, n:10, pp:685-687 [Journal]
  8. David F. Martin
    A Boolean Matrix Method for the Computation of Linear Precedence Functions. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1972, v:15, n:6, pp:448-454 [Journal]
  9. Peter V. Homeier, David F. Martin
    A Mechanically Verified Verification Condition Generator. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:2, pp:131-141 [Journal]
  10. Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin
    Algebraic Properties of Operator Precedence Languages [Citation Graph (0, 0)][DBLP]
    Information and Control, 1978, v:37, n:2, pp:115-133 [Journal]
  11. Peter V. Homeier, David F. Martin
    Secure mechanical verification of mutually recursive procedures. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:187, n:1, pp:1-19 [Journal]
  12. Laurian M. Chirica, David F. Martin
    An Order-Algebraic Definition of Knuthian Semantics. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1979, v:13, n:, pp:1-27 [Journal]
  13. Laurian M. Chirica, David F. Martin
    Toward Compiler Implementation Correctness Proofs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1986, v:8, n:2, pp:185-214 [Journal]
  14. Anne F. Brindle, Richard N. Taylor, David F. Martin
    A Debugger for Ada Tasking. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:3, pp:293-304 [Journal]

Search in 0.630secs, Finished in 0.630secs
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