David H. D. Warren
From Wikipedia, the free encyclopedia
For other people named David Warren, see David Warren (disambiguation).
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.
Quick Facts Alma mater, Known for ...
David H. D. Warren | |
---|---|
Alma mater | University of Edinburgh |
Known for | Warren Abstract Machine |
Scientific career | |
Institutions | SRI International Quintus Computer Systems University of Bristol |
Thesis | Applied Logic - Its Use and Implementation as Programming Tool (1977) |
Doctoral advisor | Donald Michie Robert Kowalski |
Close