David F. Martin

Available identifiers

zbMath Open martin.david-fMaRDI QIDQ1887135

List of research outcomes

Publication	Date of Publication	Type
Mechanical verification of mutually recursive procedures	2019-01-15	Paper
Secure mechanical verification of mutually recursive procedures	2004-11-23	Paper
Toward compiler implementation correctness proofs	1986-01-01	Paper
An order-algebraic definition of knuthian semantics	1979-01-01	Paper
Algebraic properties of operator precedence languages	1978-01-01	Paper
A Boolean matrix method for the computation of linear precedence functions	1972-01-01	Paper
Path Length Computations on Graph Models of Computations	1969-01-01	Paper
Programming Languages: Boolean matrix methods for the detection of simple precedence grammars	1968-01-01	Paper
On Determination of Optimal Distributions of Carry Skips in Adders	1967-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David F. Martin