Treffer im Web
David Gries
David Gries (* 26. April 1939 in Flushing) ist ein US-amerikanischer Informatiker. Leben und Wirken Gries studierte am Queens College in New York mit dem
Gries (Familienname)
David Gries (* 1939), US-amerikanischer Informatiker Ekkehard Gries (1936–2001), deutscher Jurist und Politiker (FDP) Georg Gries (* 1900), deutscher
Wp-Kalkül
David Gries: The Science of Programming, Springer, 1981. Mathematische Logik Logikkalkül
Susan L. Graham
University, wo sie 1966 ihren Master-Abschluss machte und 1971 bei David Gries promoviert wurde (Precedence Languages and Bounded Right Context Languages).
Peter W. O’Hearn
bei Nebenläufigkeit war (für die erste Ansätze von Susan Owicki und David Gries 1976 stammten durch Übertragung des Hoare-Kalküls auf Parallelprogramme).
Friedrich L. Bauer
Zu seinen Doktoranden gehören die Professoren David Gries, Manfred Broy, Peter Deussen, Christoph Zenger, Josef Stoer, Helmuth Partsch, Carlos Delgado Kloos,