JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Gries, David"
Now showing items 1231 of 59

A Conversation with David Gries
Gries, David; Constable, Robert L. (InternetFirst University Press, 20150721)David Gries joined Cornell in 1969. He was chair of CS in the 1980s and associate dean of engineering for 8 years in the 2000s. His research was on compiler writing and areas related to formal programming methodology. ... 
A Conversation with Fred Schneider
Schneider, Fred B.; Gries, David (InternetFirst University Press, 20150909)Fred Schneider, an expert in concurrent and distributed systems and in computer and cybersecurity, shares insights about how his professional interests evolved, and provides sweeping views about how his field and department ... 
A Conversation with John E. Hopcroft
Hopcroft, John E.; Gries, David (InternetFirst University Press, 20150721)This ACM Turing Award recipient talks about research, textbooks, working with graduate students, his role as a senior statesman of his field and concludes with some words of wisdom. 
A Conversation with Richard W. Conway
Conway, Richard W.; Gries, David (InternetFirst University Press, 20150721)Dick Conway came to Cornell in 1949, as a freshman. He received the first PhD from Operations Research and Industrial Engineering (1958), was instrumental in the creation of the CS Department (1965) and was a founding ... 
A Conversation with Robert L. Constable
Constable, Robert L.; Gries, David (InternetFirst University Press, 20150721)Over 40 years ago, Bob Constable and his students started designing a logical language for specifying programming tasks and mathematical problems. The system, called Nuprl, is known since 1984 for being able to synthesize ... 
A Conversation with Tim Teitelbaum
Teitelbaum, Tim; Gries, David (InternetFirst University Press, 20150910)A discussion of the teaching of large, introductory courses in programming in the early daysusing the Terak and Macintosh computers and the development of integrated programming environments that implement languageaware ... 
Current Ideas on Programming Methodology
Gries, David (Cornell University, 197607)NO ABSTRACT SUPPLIED 
Describing an Algorithm by Hopcroft
Gries, David (Cornell University, 197212)We give an algorithm, its correctness proof, and its proof of execution time bound, for finding the sets of equivalent states in a deterministic finite state automaton. The time bound is $K\cdotm\cdot\n\cdot\\log n$ where ... 
Developing a Linear Algorithm for Cubing a Cyclic Permutation
Xue, Jinyun; Gries, David (Cornell University, 198609)A linear algorithm is developed for cubing a cyclic permutation stored as a function in an array. This continues work discussed in [0] and [1] on searching for disciplined methods for developing and describing algorithms ... 
Developing Two of Arsac's Funny Algorithms
Gries, David (Cornell University, 198511)In Some Funny Program (Ecole Normale Superieure, Paris, June 1985) J. Arsac discusses several algorithms, but not from the standpoint of their development. Here, we develop the algorithms given their specification using ... 
Educating the Programmer: Notation, Proofs, and the Development of Programs
Gries, David (Cornell University, 198004)The current state of affairs in programming is discussed. The opinion is expressed that effective programming requires more "mathematical maturity" than most programmers have. Further, education in formal logicc, which ... 
Engineering: Cornell Quarterly, Vol.20, No.2 (Autumn 1985): Twenty Years of Computer Science at Cornell
Gries, David; Teitelbaum, Tim; Reps, Thomas; Schneider, Fred B.; Babaoglu, Ozalp; Birman, Kenneth P.; Toueg, Sam; Krafft, Dean B.; Solworth, Jon A.; Duke, Diane; Fish, Michele (InternetFirst University Press, 1985)IN THIS ISSUE: Twenty Years of Computer Science at Cornell /2 David Gries ... Immediate Computation or How to Keep a Personal Computer Busy /12 Tim Teitelbaum and Thomas Reps ... Reaching Agreement: A Fundamental Task Even ... 
Equational Propositional Logic
Gries, David; Schneider, Fred B. (Cornell University, 199409)We formalize equational propositional logic, prove that it is sound and complete, and compare the equationalproof style with the more traditional Hilbert style. 
FaultTolerant Broadcasts
Schneider, Fred B.; Gries, David; Schlichting, Richard D. (Cornell University, 198309)A distributed program is presented that ensures delivery of a message to the functioning processors in a computer network, despite the fact that processors may fail at any time. All processor failures are assumedd to be ... 
Finding Repeated Elements
Misra, Jayadev; Gries, David (Cornell University, 198207)Two algorithms are presented for finding the values that occur more than $n \div k$ times in array b[O:n1]. The second algorithm requires time $O(n \log(k))$ and extra space $O(k)$. We prove that $O(n \log(k))$ is a ... 
Formal Justification of Underspecification for S5
Aaron, Eric; Gries, David (Cornell University, 199702)We formalize the notion of underspecification as a means of avoiding problems with partial functions in modal logic S5 and some semantically related logics. For these logics, underspecification respects validity, so ... 
Formal versus semiformal proof in teaching predicate logic
Gries, David (Cornell University, 199608)This space is left deliberately nonblank 
Formalizations Of Substitution Of Equals For Equals
Gries, David; Schneider, Fred B. (Cornell University, 199805)Inference rule "substitution of equals for equals" has been formalized in terms of simple substitution (which performs a replacement even though a free occurrence of a variable is captured), contextual substitution (which ... 
General Correctness: A Unification of Partial and Total Correctness
Jacobs, Dean; Gries, David (Cornell University, 198410)General correctness, which subsumes partial and total correctness, is defined for both weakest preconditions and strongest postconditions. Healthiness properties for generalcorrectness predicate transformers are more ... 
Generating a Random Cyclic Permutation
Gries, David; Xue, Jinyun (Cornell University, 198609)ABSTRACT NOT SUPPLIED