
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 29 to 48 of 51
Preview  Issue Date  Title  Author(s)   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. 
 May1975  Proving Properties of Parallel Programs: An Axiomatic Approach  Owicki, Susan S.; Gries, David 
 Apr1975  Recursion as a Programming Tool  Gries, David 
 Sep1983  The SevenEleven Problem  Pritchard, Paul; Gries, David 
 May1975  Some Ideas on Data Types in High Level Languages  Gries, David; Gehani, Narain 
 Dec1978  Sorting and Searching Using Controlled Density Arrays  Melville, Robert C.; Gries, David 
 Jan1981  Swapping Sections  Gries, David; Mills, Harlan 
 Mar1994  Teaching Math More Effectively, Through the Design of Calculational Proofs  Gries, David; Schneider, Fred B. 
Showing results 29 to 48 of 51
