David H. D. Warren

David H. D. Warren

David H. D. Warren ist ein britischer Informatiker.

Er promovierte 1977 zum Ph.D. Artificial Intelligence an der University of Edinburgh.

In den 1970ern und 1980er arbeitete er über Logic programming, und im Besondern die Programmiersprache Prolog, für die er den ersten Compiler schrieb. Das dafür entwickelte Modell eines idealen Prozessors ist nach ihm Warren’s Abstract Machine genannt.

Warren war dann in den 80ern am Artificial Intelligence Center (SRI International, San Francisco) beschäftigt.[1][2]

Mit William Kornfeld, Lawrence Byrd, Fernando Perreira und Cuthbert Hurd gründete er 1983 die Firma Quintus Computer Systems, um seinen Prologcompiler zu vermarkten,[3], die Firma wurde 1989 an die Intergraph Corporation verkauft.[4]

Weblinks

Einzelnachweise

  1. ↑ David H.D. Warren. In: Alumnus of the Artificial Intelligence Center. SRI International, abgerufen am 26. Mai 2010 (englisch).
  2. ↑ Nils J. Nilsson: Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center Technical Notes. In: AI Magazine. 5, Nr. 1, 1984, S. 49 (Webdokument).
  3. ↑ Artificial Intelligence Publications (Hrsg.): The Artificial intelligence report. 1983.
  4. ↑ David E. Weisberg: The Engineering Design Revolution: The People, Companies and Computer Systems That Changed Forever the Practice of Engineering. Intergraph (pdf, abgerufen am 26. Mai 2010).

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • David H. D. Warren — is a computer scientist (Ph.D. artificial intelligence, University of Edinburgh 1977). In the 1970s and 1980s he worked primarily on logic programming and in particular the programming language Prolog. Warren wrote the first compiler for Prolog.… …   Wikipedia

  • David H. D. Warren — Pour les articles homonymes, voir Warren. David H.D. Warren est un spécialiste de l intelligence artificielle. Il a écrit le premier compilateur pour le langage Prolog. On lui doit la Warren s Abstract Machine qui est une machine pour l exécution …   Wikipédia en Français

  • Warren Haynes — Haynes performing with Govt Mule, July 9, 2006 Background information Born April 6, 1960 (1960 04 06) …   Wikipedia

  • David Warren — may refer to: David Warren (American football) Dave Warren (athlete) David Warren (diplomat) David Warren (director) Dave Warren (footballer) David Warren (inventor), inventor of the flight data recorder David H. D. Warren, computer scientist… …   Wikipedia

  • David W. Belin — David W. Belin, of Des Moines, Iowa and New York, was an American businessman, and was also noted for his public service. He was born June 20, 1928 and died on January 17, 1999 in Rochester, Minnesota from head injuries sustained in a fall.[1]… …   Wikipedia

  • Warren (name) — Warren ( wawr enn ), of old Germanic origin, is a common English language masculine given name, originally from a Germanic surname meaning enclosure or French surname de Warenne meaning from La Varrene . It is also common as a surname. People… …   Wikipedia

  • David Coulthard — Born 27 March 1971 (1971 03 27) (age 40) Formula One World Championship career …   Wikipedia

  • Warren's Abstract Machine — Warren’s Abstract Machine (WAM) bezeichnet in der Informatik einen 1983 von David H. D. Warren spezifizierten idealen Prozessor, dessen Maschinensprache als Zielsprache für Prolog Übersetzer oder Interpreter dient. Man spricht auch von einer… …   Deutsch Wikipedia

  • Warren’s Abstract Machine — (WAM) bezeichnet in der Informatik einen 1983 von David H. D. Warren spezifizierten idealen Prozessor, dessen Maschinensprache als Zielsprache für Prolog Übersetzer oder Interpreter dient. Man spricht auch von einer virtuellen Maschine, da es den …   Deutsch Wikipedia

  • Warren Abstract Machine — Warren s Abstract Machine La Warren s Abstract Machine (Machine abstraite de Warren) est une machine virtuelle permettant d implémenter le langage Prolog. Cette machine est composée d un jeu d instructions spécial ainsi que d une mémoire. Elle a… …   Wikipédia en Français

Share the article and excerpts

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