David Martin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mechanical verification of mutually recursive procedures Automated Deduction — Cade-13	2019-01-15	Paper
Problems with using separated variables for computing expectation values for higher ranks Letters in Mathematical Physics	2016-04-05	Paper
Secure mechanical verification of mutually recursive procedures Information and Computation	2004-11-23	Paper
Toward compiler implementation correctness proofs ACM Transactions on Programming Languages and Systems	1986-01-01	Paper
An order-algebraic definition of knuthian semantics Mathematical Systems Theory	1979-01-01	Paper
Algebraic properties of operator precedence languages Information and Control	1978-01-01	Paper
A Boolean matrix method for the computation of linear precedence functions Communications of the ACM	1972-01-01	Paper
Path Length Computations on Graph Models of Computations IEEE Transactions on Computers	1969-01-01	Paper
Programming Languages: Boolean matrix methods for the detection of simple precedence grammars Communications of the ACM	1968-01-01	Paper
On Determination of Optimal Distributions of Carry Skips in Adders IEEE Transactions on Electronic Computers	1967-01-01	Paper

Research outcomes over time

This page was built for person: David Martin