Mike Spivey
From Wikipedia, the free encyclopedia
Mike Spivey is a computer scientist at the University of Oxford. He is currently University Lecturer in Computation and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford. His main area of interest is compilers and programming languages. He wrote the Oxford Oberon-2 compiler.
[edit] External links
- An Introduction to Logic Programming through Prolog
- The Z Notation: a reference manual
- Personal page
Categories: Year of birth missing (living people) | Living people | British academics | British computer scientists | Members of Oxford University Computing Laboratory | Fellows of Oriel College, Oxford | Programming language researchers | United Kingdom computer specialist stubs | United Kingdom academic biography stubs