
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 22 to 41 of 51
Preview  Issue Date  Title  Author(s)   Oct1984  General Correctness: A Unification of Partial and Total Correctness  Jacobs, Dean; Gries, David 
 Sep1986  Generating a Random Cyclic Permutation  Gries, David; Xue, Jinyun 
 Apr1988  The HopcroftTarjan Planarity Algorithm, Presentation and Improvements  Gries, David; Xue, Jinyun 
 Nov1987  Inorder Traversal of a Binary Tree and its Inversion  Gries, David; Van de Snepscheut, Jan L.A. 
 Sep1985  Insitu Inversion of a Cyclic Permutation  Feijen, W. H. J.; Van Gasteren, A. J. M.; Gries, David 
 Mar1990  An Introduction to Proofs of Program Correctness for Teachers of CollegeLevel Introductory Programming Courses  Gries, David; Wadkins, Jeff 
 Jun1978  Is Sometimes Ever Better Than Always?  Gries, David 
 Jun1977  A Linear Sieve Algorithm for Finding Prime Numbers  Gries, David; Misra, Jayadev 
 Jan1986  McLaren's Masterpiece  Gries, David; Prins, Jan F. 
 Jun1985  A Model and Temporal proof system for Networks of Processes  Nguyen, Van Long; Demers, Alan J.; Gries, David; Owicki, Susan S. 
 Nov1984  A Model and Temporal Proof System for Networks of Processes  Nguyen, Van Long; Gries, David; Owicki, Susan S. 
 Feb1994  A New Approach to Teaching Mathematics  Gries, David; Schneider, Fred B. 
 Sep1977  A Note on Iteration  Gries, David 
 Mar1974  A Note on Program Development  Gries, David 
 Oct1982  A Note on the Standard Strategy for Developing Loop Invariants and Loops  Gries, David 
 Apr1995  On Presenting Monotonicity and On EA=>AE  Gries, David 
 Mar1988  Presenting an Algorithm to Find the Minimum Edit Distance  Gries, David; Burkhardt, Bill 
 May1979  A Procedure Call Proof Rule (With a Simple Explanation)  Gries, David; Levin, Gary Marc 
 Sep1971  Programming by Induction  Gries, David 
 Apr1972  Program Schemes with Pushdown Stores  Brown, Steven; Gries, David; Szymanski, Thomas G. 
Showing results 22 to 41 of 51
