Michael J. C. Gordon

MaRDI QIDQ436371zbMATH OpenDBLPWikidataFDO

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
Tactics for mechanized reasoning: a commentary on Milner (1984) ‘The use of machines to assist in rigorous proof’ Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences	2017-01-13	Paper
Transforming programs into recursive functions Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Function extraction Science of Computer Programming	2012-07-20	Paper
The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4 Journal of Automated Reasoning	2011-06-03	Paper
Hoare Logic for ARM Machine Code Lecture Notes in Computer Science	2008-07-01	Paper
Hoare Logic for Realistically Modelled Machine Code Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper
Validating the PSL/Sugar semantics using automated reasoning Formal Aspects of Computing	2005-02-08	Paper
Programming Combinations of Deduction and BDD-based Symbolic Calculation LMS Journal of Computation and Mathematics	2004-11-18	Paper
scientific article; zbMATH DE number 1927424 (Why is no real title available?)	2003-06-12	Paper
Relating Event and Trace Semantics of Hardware Description Languages The Computer Journal	2003-04-06	Paper
scientific article; zbMATH DE number 1670743 (Why is no real title available?)	2001-11-11	Paper
Edinburgh LCF. A mechanized logic of computation Lecture Notes in Computer Science	1993-06-05	Paper
The denotational semantics of sequential machines Information Processing Letters	1980-01-01	Paper
scientific article; zbMATH DE number 3640837 (Why is no real title available?)	1979-01-01	Paper
On the power of list iteration The Computer Journal	1979-01-01	Paper

Research outcomes over time

This page was built for person: Michael J. C. Gordon