DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» David Gries
David Gries
Software Tools: a Building Block Approach
Edsger W. Dijkstra: a Commemoration
A Common Programming Language for the Depart Final Ment of Defenses-Background and Technical January -December 1975 1 Requirements «
User's Manual for the ALCR-ILLINIS-7090 ALGL-60
A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems
Education in Programming David Gries Dr. Rer. Nat., Munich Institute
Introduction to the Literature on Programming Language Design Gary T
David Gries Advisory Board F.L
Hartmanis Transcript Final
A Bibliography of Publications of Friedrich Ludwig Bauer
Structured Programming - Retrospect and Prospect
Introduction to the Literature on Programming Language Design Gary T
Differential Equations
Compiler Implementation System
Teaching Java –With OO First David Gries Computer Science Cornell
DAVID GRIES March 2019
Storytelling About Lighthouses Criticizing Professor Dijkstra Considered Harmless
Peter Landin Semantics Seminar 2020 Algol 60 @ 60
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
S Hak E S P E Ar E Th E a T R E C O M Pa
Software Productivity
Association for Computing Machinery 2 Penn Plaza, Suite 701, New York
Owen L. Astrachan Department of Computer Science Box 90129 Duke University Durham, NC 27708-0129 Telephone: (919) 660-6522 Email:
[email protected]
Curriculum '68: Recommendations for Academic Programs
Bibliography
Annual Report of the ACM Awards Committee for the Period July 1, 2008 - June 30, 2009
Edsger W. Dijkstra