David 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
Problems with using separated variables for computing expectation values for higher ranks	2016-04-05	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

This page was built for person: David Martin