David Gries
Top View
- Dijkstra's Crisis
- Front Matter
- Niklaus Wirth Programming in Modula-2
- Oral History of Bjarne Stroustrup
- Contents U U U
- A Report of the ACM Curriculum Committee on Computer Education for Management
- A Survey of Functional Programming Language Rinciples
- Monographs in Computer Science
- David Gries Advisory Board F
- Programming with Invariants
- Verification of a Concurrent Garbage Collector Yannick Zakowski
- Andries Van Dam Education Table of Contents Research Interests
- Roster of Csd Personnel
- A Simple Methodology for Computing Families of Algorithms
- In Pursuit of Simplicity a Symposium Honoring Professor Edsger Wybe Dijkstra
- Lecture Notes in Computer Science 1710 Edited by G
- Annual Report of the ACM Awards Committee for the Period July 1, 2009 - June 30, 2010
- Introduction to the Literature on Semantics Gary T