David F. Martin

Publication Activity (10 Years)

Years Active: 1967-2003
Publications (10 Years): 0

Publications

Peter V. Homeier, David F. Martin
Secure mechanical verification of mutually recursive procedures. Inf. Comput. 187 (1) (2003)
Peter V. Homeier, David F. Martin
Mechanical Verification of Total Correctness through Diversion Verification Conditions. TPHOLs (1998)
Peter V. Homeier, David F. Martin
Mechanical Verification of Mutually Recursive Procedures. CADE (1996)
Peter V. Homeier, David F. Martin
A Mechanically Verified Verification Condition Generator. Comput. J. 38 (2) (1995)
Peter V. Homeier, David F. Martin
Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator. TPHOLs (1994)
David F. Martin, R. J. Toal
Case Studies in Compiler Correctness Using HOL. TPHOLs (1991)
Anne F. Brindle, Richard N. Taylor, David F. Martin
A Debugger for Ada Tasking. IEEE Trans. Software Eng. 15 (3) (1989)
Laurian M. Chirica, David F. Martin
Toward Compiler Implementation Correctness Proofs. ACM Trans. Program. Lang. Syst. 8 (2) (1986)
Vittal Kini, David F. Martin, Allen Stoughton
Testing the INRIA Ada formal definition: the USC-ISI formal semantics project. AdaTEC Conference on Ada (1982)
Laurian M. Chirica, David F. Martin
An Order-Algebraic Definition of Knuthian Semantics. Math. Syst. Theory 13 (1979)
Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin
Algebraic Properties of Operator Precedence Languages Inf. Control. 37 (2) (1978)
Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin
Time required for reference count management in retention block-structured languages. Part 1. Int. J. Parallel Program. 7 (1) (1978)
Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin
On the time required for reference count management in retention block-structured languages. Part 2. Int. J. Parallel Program. 7 (2) (1978)
Laurian M. Chirica, David F. Martin
An Algebraic Formulation of Knuthian Semantics FOCS (1976)
Laurian M. Chirica, David F. Martin
An approach to compiler correctness. Reliable Software (1975)
Laurian M. Chirica, David F. Martin, Timothy A. Dreisbach, J. G. Peetz, Arthur Sorkin
Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems. HLLCA (1973)
Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin
On the time required for retention. HLLCA (1973)
David F. Martin
A Boolean Matrix Method for the Computation of Linear Precedence Functions. Commun. ACM 15 (6) (1972)
David F. Martin, Steven A. Vere
On Syntax-Directed Transduction and Tree Transducers STOC (1970)
David F. Martin, Gerald Estrin
Path Length Computations on Graph Models of Computations. IEEE Trans. Computers 18 (6) (1969)
David F. Martin
Programming Languages: Boolean matrix methods for the detection of simple precedence grammars. Commun. ACM 11 (10) (1968)
David F. Martin, Gerald Estrin
Experiments on Models of Computations and Systems. IEEE Trans. Electron. Comput. 16 (1) (1967)
David F. Martin, Gerald Estrin
Models of Computations and Systems - Evaluation of Vertex Probabilities in Graph Models of Computations. J. ACM 14 (2) (1967)
David F. Martin, Gerald Estrin
Models of Computational Systems-Cyclic to Acyclic Graph Transformations. IEEE Trans. Electron. Comput. 16 (1) (1967)