J. Michael Spivey

J. Michael Spivey

Mike Spivey is a University Lecturer in Computation at the Oxford University Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford. His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.

Back to all authors

Books Authored by J. Michael Spivey

An Introduction to Logic Programming Through Prolog

Post date: 25 Oct 2004
Introduces logic programming, combining three essential components: the declarative nature of logic itself, the programming techniques needed to write effective programs, and the efficient implementation of logic programming by computer.
Publisher: Prentice Hall
Publication date: 01 Mar 1996
 
An Introduction to Logic Programming Through Prolog

An Introduction to Logic Programming Through Prolog

Post date: 25 Oct 2004
Introduces logic programming, combining three essential components: the declarative nature of logic itself, the programming techniques needed to write effective programs, and the efficient implementation of logic programming by computer.
Publisher: Prentice Hall
Publication date: 01 Mar 1996


Book Categories
Sponsors
Icons8, a free icon pack