Mike Spivey

Mike Spivey

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 [http://spivey.oriel.ox.ac.uk/mike/obc Oxford Oberon-2 compiler] .

External links

* [http://www.amazon.co.uk/dp/0135360471 An Introduction to Logic Programming through Prolog]
* [http://spivey.oriel.ox.ac.uk/mike/zrm/index.html The Z Notation: a reference manual]
* [http://spivey.oriel.ox.ac.uk/mike/ Personal page]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Spivey — may refer to:Places*Spivey, Kansas, United StatesPeople*Dan Spivey (b. 1952), American professional wrestler *Gary Spivey (contemporary), American psychic *Jim Spivey (b. 1960), American Olympic runner *Junior Spivey (b. 1975), American… …   Wikipedia

  • Mike Rotunda — Rotunda as I.R.S. at a WWF event in 1994 Ring name(s) Captain Mike Irwin R. Schyster Michael Wallstreet Mike Drond Mike Rotunda Mike Rotundo Mr. Wallstreet V.K. Wallstreet …   Wikipedia

  • Mike Enos — Ring name(s) Mike Enos[1] Blake Beverly[1] The Mauler …   Wikipedia

  • Mike Barrowman — Personal information Full name Michael Ray Barrowman Nickname(s) Mike Nationality  United States …   Wikipedia

  • Mike Raven — Born Austin Churton Fairman November 15, 1924(1924 11 15) London, England Died April 4, 1997(1997 04 04) (aged 72) Blisland, Cornwall Occupation …   Wikipedia

  • Mike Rotunda — Lawrence Rotunda Mike Rotunda …   Wikipédia en Français

  • Mike Rotundo — Lawrence Rotunda Mike Rotunda …   Wikipédia en Français

  • Mike Rotunda — Lawrence Michael Rotunda Daten Ringname(n) Mike Rotunda Irwin R. Schyster I.R.S. Michael Wallstreet V.K …   Deutsch Wikipedia

  • Mike Morgan — For other people named Mike Morgan, see Michael Morgan (disambiguation). Mike Morgan Pitcher Born: October 8, 1959 (1959 10 08) (age 52) Tulare, California Batted: Right …   Wikipedia

  • Michael Spivey — John Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford. Spivey was educated at Archbishop Holgate s Grammar School in York, northern England. He studied mathematics at Christ s College,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”