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 ...

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

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