Michael John Caldwell Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist. Michael J. C. Gordon. Born, (1948-02-28)28 February ...

Photo of Mike speaking at Dave MacQueen Fest. Mike Gordon · Director of Research · Emeritus Professor of Computer Assisted Reasoning The University of Cambridge ...

List of computer science publications by Michael J. C. Gordon.

Michael John Caldwell "Mike" Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist. He was born in Ripon, Yorkshire.

Programming language theory and its implementation: Applicative and imperative paradigms (Prentice Hall international series in computer science)Programming ...

22 авг 2017 · Professor Michael Gordon was a pioneer in the field of interactive theorem proving, with a focus on hardware verification. This field is ...

Michael J. C. Gordon's 34 research works with 1252 citations and 1102 reads, including: Function extraction.

This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to ...

Publication Topics. Essential Step,Flow Control,Instruction Set Architecture,Machine Code,Postconditioning,Recursive Function,. Skip to Main Content.

Michael J.C. Gordon, author of The Denotational Description of Programming Languages: An Introduction, on LibraryThing.