
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 17 to 36 of 51
Preview  Issue Date  Title  Author(s)   Sep1983  FaultTolerant Broadcasts  Schneider, Fred B.; Gries, David; Schlichting, Richard D. 
 Jul1982  Finding Repeated Elements  Misra, Jayadev; Gries, David 
 May1998  Formalizations Of Substitution Of Equals For Equals  Gries, David; Schneider, Fred B. 
 Feb1997  Formal Justification of Underspecification for S5  Aaron, Eric; Gries, David 
 Aug1996  Formal versus semiformal proof in teaching predicate logic  Gries, David 
 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 
Showing results 17 to 36 of 51
