David H. D. Warren
|David H. D. Warren|
Quintus Computer Systems
University of Bristol
|Alma mater||University of Edinburgh|
|Thesis||Applied Logic - Its Use and Implementation as Programming Tool (1977)|
|Doctoral advisor||Donald Michie
|Known for||Warren Abstract Machine|
David H. D. Warren is a computer scientist who worked primarily on logic programming and in particular the programming language Prolog in the 1970s and 1980s. Warren wrote the first compiler for Prolog, and the Warren Abstract Machine execution environment for Prolog is named after him.
Early life and education
He founded the company Quintus Computer Systems in 1983 with William Kornfeld, Lawrence Byrd, Fernando Pereira and Cuthbert Hurd to commercialize the Prolog compiler. Quintus was sold to Intergraph Corporation in 1989.
- David H. D. Warren at the Mathematics Genealogy Project -- (accessed August 10, 2014)
- "David H.D. Warren". Alumnus of the Artificial Intelligence Center. Artificial Intelligence Center. Retrieved 2010-05-26.
- Nils J. Nilsson (1984). "Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center Technical Notes". AI Magazine 5 (1). p. 49.
- The Artificial intelligence report. Artificial Intelligence Publications. 1983.
- David E. Weisberg (2008). "Intergraph". The Engineering Design Revolution:The People, Companies and Computer Systems That Changed Forever the Practice of Engineering (PDF). Retrieved May 26, 2010.
- "Traffic patterns in a scalable multiprocessor through transputer emulation". IEEE. Retrieved 2012-03-16.
|This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.|