D
David Gries
Researcher at Cornell University
Publications - 169
Citations - 10597
David Gries is an academic researcher from Cornell University. The author has contributed to research in topics: Correctness & Mathematical proof. The author has an hindex of 35, co-authored 167 publications receiving 10210 citations. Previous affiliations of David Gries include Technische Universität München & University of Georgia.
Papers
More filters
Book
The science of programming
TL;DR: Describes basic programming principles and their step-by- step applications and shows how to apply them to real-world problems.
Book
First-Order Logic and Automated Theorem Proving
Melvin Fitting,David Gries +1 more
TL;DR: This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style and is intended for those interested in computer science and mathematics at the beginning graduate level.
Journal ArticleDOI
An axiomatic proof technique for parallel programs I
Susan S. Owicki,David Gries +1 more
TL;DR: Hoare's deductive system for proving partial correctness of sequential programs is extended to include the parallelism described by the language, and the proof method lends insight into how one should understand and present parallel programs.
Book
Computing As a Discipline
Peter J. Denning,Douglas Comer,David Gries,Michael C. Mulder,Allen B. Tucker,A.J. Turner,Paul Young +6 more
TL;DR: The authors describe computer science in a way that emphasizes fundamental questions and significant accomplishments, and propose a teaching paradigm for computer science that conforms to traditional scientific standards, emphasizes the development of competence in the field, and harmoniously integrates theory, experimentation, and design.
Book ChapterDOI
A Theory of Graphs
David Gries,Fred B. Schneider +1 more
TL;DR: The theory of graphs has broad and important applications, because so many things can be modeled by graphs, and various puzzles and games are solved easily if a little graph theory is applied.