David F. Martin

According to our database, David F. Martin authored at least 24 papers between 1967 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Secure mechanical verification of mutually recursive procedures.

Peter V. Homeier, David F. Martin

Inf. Comput., 2003

1998

Mechanical Verification of Total Correctness through Diversion Verification Conditions.

Peter V. Homeier, David F. Martin

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1996

Mechanical Verification of Mutually Recursive Procedures.

Peter V. Homeier, David F. Martin

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

A Mechanically Verified Verification Condition Generator.

Peter V. Homeier, David F. Martin

Comput. J., 1995

1994

Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator.

Peter V. Homeier, David F. Martin

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1991

Case Studies in Compiler Correctness Using HOL.

David F. Martin, R. J. Toal

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1989

A Debugger for Ada Tasking.

Anne F. Brindle, Richard N. Taylor, David F. Martin

IEEE Trans. Software Eng., 1989

1986

Toward Compiler Implementation Correctness Proofs.

Laurian M. Chirica, David F. Martin

ACM Trans. Program. Lang. Syst., 1986

1982

Testing the INRIA Ada formal definition: the USC-ISI formal semantics project.

Vittal Kini, David F. Martin, Allen Stoughton

Proceedings of the AdaTEC Conference on Ada, 1982

1979

An Order-Algebraic Definition of Knuthian Semantics.

Laurian M. Chirica, David F. Martin

Math. Syst. Theory, 1979

1978

Algebraic Properties of Operator Precedence Languages

Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin

Inf. Control., May, 1978

On the time required for reference count management in retention block-structured languages. Part 2.

Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin

Int. J. Parallel Program., 1978

Time required for reference count management in retention block-structured languages. Part 1.

Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin

Int. J. Parallel Program., 1978

1976

An Algebraic Formulation of Knuthian Semantics

Laurian M. Chirica, David F. Martin

Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1975

An approach to compiler correctness.

Laurian M. Chirica, David F. Martin

Proceedings of the International Conference on Reliable Software 1975, 1975

1973

Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems.

Laurian M. Chirica, David F. Martin, Timothy A. Dreisbach, J. G. Peetz, Arthur Sorkin

Proceedings of the ACM-IEEE Symposium on High-Level-Language Computer Architecture, 1973

On the time required for retention.

Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin

Proceedings of the ACM-IEEE Symposium on High-Level-Language Computer Architecture, 1973

1972

A Boolean Matrix Method for the Computation of Linear Precedence Functions.

David F. Martin

Commun. ACM, 1972

1970

On Syntax-Directed Transduction and Tree Transducers

David F. Martin, Steven A. Vere

Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970

1969

Path Length Computations on Graph Models of Computations.

David F. Martin, Gerald Estrin

IEEE Trans. Computers, 1969

1968

Programming Languages: Boolean matrix methods for the detection of simple precedence grammars.

David F. Martin

Commun. ACM, 1968

1967

Models of Computational Systems-Cyclic to Acyclic Graph Transformations.

David F. Martin, Gerald Estrin

IEEE Trans. Electron. Comput., 1967

Experiments on Models of Computations and Systems.

David F. Martin, Gerald Estrin

IEEE Trans. Electron. Comput., 1967

Models of Computations and Systems - Evaluation of Vertex Probabilities in Graph Models of Computations.

David F. Martin, Gerald Estrin

J. ACM, 1967