|
|
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 24 to 43 of 51
| Preview | Issue Date | Title | Author(s) | | Apr-1988 | The Hopcroft-Tarjan Planarity Algorithm, Presentation and Improvements | Gries, David; Xue, Jinyun |
| Nov-1987 | Inorder Traversal of a Binary Tree and its Inversion | Gries, David; Van de Snepscheut, Jan L.A. |
| Sep-1985 | In-situ Inversion of a Cyclic Permutation | Feijen, W. H. J.; Van Gasteren, A. J. M.; Gries, David |
| Mar-1990 | An Introduction to Proofs of Program Correctness for Teachers of College-Level Introductory Programming Courses | Gries, David; Wadkins, Jeff |
| Jun-1978 | Is Sometimes Ever Better Than Always? | Gries, David |
| Jun-1977 | A Linear Sieve Algorithm for Finding Prime Numbers | Gries, David; Misra, Jayadev |
| Jan-1986 | McLaren's Masterpiece | Gries, David; Prins, Jan F. |
| Nov-1984 | A Model and Temporal Proof System for Networks of Processes | Nguyen, Van Long; Gries, David; Owicki, Susan S. |
| Jun-1985 | A Model and Temporal proof system for Networks of Processes | Nguyen, Van Long; Demers, Alan J.; Gries, David; Owicki, Susan S. |
| Feb-1994 | A New Approach to Teaching Mathematics | Gries, David; Schneider, Fred B. |
| Sep-1977 | A Note on Iteration | Gries, David |
| Mar-1974 | A Note on Program Development | Gries, David |
| Oct-1982 | A Note on the Standard Strategy for Developing Loop Invariants and Loops | Gries, David |
| Apr-1995 | On Presenting Monotonicity and On EA=>AE | Gries, David |
| Mar-1988 | Presenting an Algorithm to Find the Minimum Edit Distance | Gries, David; Burkhardt, Bill |
| May-1979 | A Procedure Call Proof Rule (With a Simple Explanation) | Gries, David; Levin, Gary Marc |
| Sep-1971 | Programming by Induction | Gries, David |
| Apr-1972 | Program Schemes with Pushdown Stores | Brown, Steven; Gries, David; Szymanski, Thomas G. |
| May-1975 | Proving Properties of Parallel Programs: An Axiomatic Approach | Owicki, Susan S.; Gries, David |
| Apr-1975 | Recursion as a Programming Tool | Gries, David |
Showing results 24 to 43 of 51
|
