David F. Martin

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