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