The SCEAS System
| |||||||

## Search the dblp DataBase
David F. Martin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Peter V. Homeier, David F. Martin
**Mechanical Verification of Mutually Recursive Procedures.**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:201-215 [Conf] - Laurian M. Chirica, David F. Martin
**An Algebraic Formulation of Knuthian Semantics**[Citation Graph (0, 0)][DBLP] FOCS, 1976, pp:127-136 [Conf] - David F. Martin, Steven A. Vere
**On Syntax-Directed Transduction and Tree Transducers**[Citation Graph (0, 0)][DBLP] STOC, 1970, pp:129-135 [Conf] - David F. Martin, R. J. Toal
**Case Studies in Compiler Correctness Using HOL.**[Citation Graph (0, 0)][DBLP] TPHOLs, 1991, pp:242-252 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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 | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |