default search action
David Gries
Person information
- affiliation: Cornell University, Ithaca, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [p3]David Gries:
Development of Correct Programs. Edsger Wybe Dijkstra 2022: 141-168 - [p2]David Gries:
Reflections on Edsger and His Influence. Edsger Wybe Dijkstra 2022: 405-410
2000 – 2009
- 2008
- [c41]David Gries:
A principled approach to teaching OO first. SIGCSE 2008: 31-35 - 2006
- [j75]David Gries:
What Have We Not Learned about Teaching Programming? Computer 39(10): 81-82 (2006) - [c40]David Gries:
What Have We Not Learned about Teaching Programming? SEW 2006: 175-178 - 2005
- [c39]Chavdar Botev, Hubert Chao, Theodore Chao, Yim Cheng, Raymond Doyle, Sergey Grankin, Jon Guarino, Saikat Guha, Pei-Chen Lee, Dan Perry, Christopher Ré, Ilya Rifkin, Tingyan Yuan, Dora Abdullah, Kathy Carpenter, David Gries, Dexter Kozen, Andrew C. Myers, David I. Schwartz, Jayavel Shanmugasundaram:
Supporting workflow in a course management system. SIGCSE 2005: 262-266 - 2002
- [b4]David Gries, Paul Gries, Petra Hall:
ProgramLive - master Java programming in a dynamic, self-paced learning environment. Wiley 2002, ISBN 978-0-471-44158-8, pp. I-VIII, 1-346 - [j74]Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards:
In memoriam: Edsger W. Dijkstra 1930-2002. Commun. ACM 45(10): 21-22 (2002) - [j73]David Gries:
Where is programming methodology these days? ACM SIGCSE Bull. 34(4): 5-7 (2002) - [c38]David Gries:
Problems with CS education. ITiCSE 2002: 135 - 2001
- [j72]Vicki L. Almstrum, David Gries:
From the Editors of this special issue. Inf. Process. Lett. 77(2-4): 49-51 (2001) - [c37]David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz:
How mathematical thinking enchances computer science problem solving. SIGCSE 2001: 390-391 - [c36]David Gries, Kathleen Larson, Susan H. Rodger, Mark Allen Weiss, Ursula Wolz:
AP CS goes OO. SIGCSE 2001: 423-24 - 2000
- [c35]Owen L. Astrachan, Robert Cartwight, Richard Kick, Cay S. Horstmann, Fran Trees, Gail Chapman, David Gries, Henry MacKay Walker, Ursula Wolz:
Recommendations for changes in advanced placement computer science (panel session). SIGCSE 2000: 416
1990 – 1999
- 1999
- [c34]David Gries:
Monotonicity in Calculational Proofs. Correct System Design 1999: 79-85 - 1998
- [j71]David Gries, Fred B. Schneider:
Adding the Everywhere Operator to Propositional Logic. J. Log. Comput. 8(1): 119-129 (1998) - [c33]David Gries:
Teaching calculational logic. PROCOMET 1998: 9-10 - [e2]David Gries, Willem P. de Roever:
Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA. IFIP Conference Proceedings 125, Chapman & Hall 1998, ISBN 0-412-83760-9 [contents] - 1997
- [j70]T. V. Raman, David Gries:
Audio formatting - Making spoken text and math comprehensible. Int. J. Speech Technol. 2(1): 21-31 (1997) - [j69]Eric Aaron, David Gries:
Formal Justification of Underspecification for S5. Inf. Process. Lett. 64(3): 115-121 (1997) - [j68]Edward M. Reingold, Kenneth J. Urban, David Gries:
K-M-P String Matching Revisited. Inf. Process. Lett. 64(5): 217-223 (1997) - 1996
- [j67]Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave:
An Invitation to Formal Methods. Computer 29(4): 16-30 (1996) - [j66]T. V. Raman, David Gries:
Interactive Audio Documents. J. Vis. Lang. Comput. 7(1): 97-108 (1996) - [c32]David Gries:
Data refinement and the transform. NATO ASI DPD 1996: 205-232 - 1995
- [j65]T. V. Raman, David Gries:
Audio formatting - Making spoken text and math comprehensible. Int. J. Speech Technol. 1(1): 21-31 (1995) - [j64]David Gries, Fred B. Schneider:
Equational Propositional Logic. Inf. Process. Lett. 53(3): 145-152 (1995) - [j63]T. V. Raman, David Gries:
Audio Formatting - Presenting Structured Information Aurally. Multim. Syst. 3(3): 116-125 (1995) - [c31]David Gries:
Equational Logic as a Tool. AMAST 1995: 1-17 - [c30]David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston:
Teaching as a logic tool (abstract). SIGCSE 1995: 384-385 - [c29]David Gries:
Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic. ZUM 1995: 508-509 - [p1]David Gries, Fred B. Schneider:
Avoiding the Undefined by Underspecification. Computer Science Today 1995: 366-373 - 1994
- [c28]T. V. Raman, David Gries:
Interactive audio documents. ASSETS 1994: 62-68 - [c27]David Gries, Fred B. Schneider:
Teaching Logic as a Tool. CSEE 1994: 599-599 - 1993
- [b3]David Gries, Fred B. Schneider:
A Logical Approach to Discrete Math. Texts and Monographs in Computer Science, Springer 1993, ISBN 0-387-94115-0 - 1992
- [j62]David Gries, Dorothy Marsh:
The 1989-90 Taulbee Survey. Commun. ACM 35(1): 132-143 (1992) - [j61]David Gries, Dorothy Marsh:
The 1990-91 Taulbee Survey Report. Computer 25(11): 69-75 (1992) - [j60]Jayadev Misra, David Gries:
A Constructive Proof of Vizing's Theorem. Inf. Process. Lett. 41(3): 131-133 (1992) - [j59]Jennifer Widom, David Gries, Fred B. Schneider:
Trace-Based Network Proof Systems: Expressiveness and Completeness. ACM Trans. Program. Lang. Syst. 14(3): 396-416 (1992) - [c26]Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis:
Are formal methods useful for software development? COMPSAC 1992: 2-9 - [c25]David Gries:
Data Refinement and the Transform. NATO ASI PDC 1992: 93-119 - 1991
- [j58]David Gries:
Teaching Calculation and Discrimination: A More Effective Curriculum. Commun. ACM 34(3): 44-55 (1991) - 1990
- [j57]David Gries, Dorothy Marsh:
The 1988-89 Taulbee Survey Report. Commun. ACM 33(9): 160-169 (1990) - [j56]David Gries, Dorothy Marsh:
The 1988-89 Taulbee Survey Report. Computer 23(10): 65-71 (1990) - [j55]David Gries, Dennis M. Volpano:
The Transform - a New Language Construct. Struct. Program. 11(1): 1-10 (1990) - [c24]David Gries:
Instilling Professionalism in Software Engineers. CSEE 1990: 1
1980 – 1989
- 1989
- [j54]Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young:
Computing as a Discipline. Commun. ACM 32(1): 9-23 (1989) - [j53]David Gries, Terry Walker, Paul Young:
The 1988 Snowbird Report: A Discipline Matures. Commun. ACM 32(3): 294-297, 318 (1989) - [j52]Ted Eisenberg, David Gries, Juris Hartmanis, Don Holcomb, M. Stuart Lynn, Thomas Santoro:
The Cornell Commission: On Morris and the Worm. Commun. ACM 32(6): 706-709 (1989) - [j51]David Gries, Dorothy Marsh:
The 1987-1988 Taulbee Survey. Commun. ACM 32(10): 1217-1224 (1989) - [j50]Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young:
Computing as a Discipline. Computer 22(2): 63-70 (1989) - [j49]David Gries, Terry Walker, Paul Young:
1988 Snowbird Report: A Discipline Matures. Computer 22(2): 72-75 (1989) - [j48]David Gries, Dorothy Marsh:
The 1987-88 Taulbee Survey Report. Computer 22(11): 49-56 (1989) - [j47]Selim G. Akl, David Gries, Ivan Stojmenovic:
An Optimal Parallel Algorithm for Generating Combinations. Inf. Process. Lett. 33(3): 135-139 (1989) - [j46]David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding:
An Algorithm for Transitive Reduction of an Acyclic Graph. Sci. Comput. Program. 12(2): 151-155 (1989) - [c23]David Gries:
My Thoughts on Software Engineering in the Late 1960s. ICSE 1989: 98 - [c22]David Gries:
Position Statement on the Foundations of Software Engineering. IFIP Congress 1989: 954 - 1988
- [j45]David Gries, Jinyun Xue:
Generating a Random Cycle Permutation. BIT 28(3): 569-572 (1988) - [j44]David Gries, Dorothy Marsh:
The 1986-1987 Taulbee Survey. Commun. ACM 31(8): 984-991 (1988) - [j43]David Gries, Dorothy Marsh:
The 1986-1987 Taulbee Survey. Computer 21(8): 53-61 (1988) - [j42]Jinyun Xue, David Gries:
Developing a Linear Algorithm for Cubing a Cyclic Permutation. Sci. Comput. Program. 11(2): 161-165 (1988) - [c21]Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young:
Computing as a discipline: preliminary report of the ACM task force on the core of computer science. SIGCSE 1988: 41 - 1987
- [j41]David Gries:
The 1985-1986 Taulbee Survey. Commun. ACM 30(8): 688-694 (1987) - [j40]W. H. J. Feijen, A. J. M. van Gasteren, David Gries:
In-situ Inversion of a Cyclic Permutation. Inf. Process. Lett. 24(1): 11-14 (1987) - [j39]David Gries, Adriano Pascoletti, Luigi Sbriz:
Horner's Rule and the Computation of Linear Recurrences. Inf. Process. Lett. 25(4): 237-240 (1987) - [j38]David Gries:
A Note on Graham's Convex Hull Algorithm. Inf. Process. Lett. 25(5): 323-328 (1987) - [j37]David Gries, Jan F. Prins:
McLaren's Masterpiece. Sci. Comput. Program. 8(2): 139-145 (1987) - [c20]David Gries:
Models for Re-Use. FSTTCS 1987: 373-375 - [c19]Jennifer Widom, David Gries, Fred B. Schneider:
Completeness and Incompleteness of Trace-Based Network Proof Systems. POPL 1987: 27-38 - 1986
- [j36]David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young:
Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. Commun. ACM 29(9): 870-878 (1986) - [j35]David Gries:
The 1984-1985 Taulbee Survey. Commun. ACM 29(10): 972-977 (1986) - [j34]David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young:
Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. Computer 19(9): 70-76 (1986) - [j33]David Gries:
The 1984-85 Taulbee Survey. Computer 19(11): 69-71 (1986) - [j32]Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes. Distributed Comput. 1(1): 7-25 (1986) - 1985
- [j31]Dean Jacobs, David Gries:
General Correctness: A Unification of Partial and Total Correctness. Acta Informatica 22(1): 67-83 (1985) - [c18]Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki:
Behavior: A Temporal Approach to Process Modelling. Logic of Programs 1985: 237-254 - [c17]Van Nguyen, David Gries, Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes. POPL 1985: 121-131 - [c16]David Gries, Jan F. Prins:
A new notion of encapsulation. SLIPE 1985: 131-139 - 1984
- [j30]Fred B. Schneider, David Gries, Richard D. Schlichting:
Fault-Tolerant Broadcasts. Sci. Comput. Program. 4(1): 1-15 (1984) - 1982
- [j29]Jayadev Misra, David Gries:
Finding Repeated Elements. Sci. Comput. Program. 2(2): 143-152 (1982) - [j28]David Gries:
A Note on a Standard Strategy for Developing Loop Invariants and Loops. Sci. Comput. Program. 2(3): 207-214 (1982) - [j27]David Gries:
Letter to Dr. Susan Gerhart: comments on two book reviews. ACM SIGSOFT Softw. Eng. Notes 7(3): 30-32 (1982) - 1981
- [b2]David Gries:
The Science of Programming. Texts and Monographs in Computer Science, Springer 1981, ISBN 978-0-387-96480-5, pp. i-xv, 1-368 - [j26]Gary Levin, David Gries:
A Proof Technique for Communicating Sequential Processes. Acta Informatica 15: 281-302 (1981) - [e1]Wilfried Brauer, Per Brinch Hansen, David Gries, C. Moler, Gerhard Seegmüller, Josef Stoer, Niklaus Wirth:
The Programming Language Ada Reference Manual, Proposed Standard Document, United States Department of Defense. Lecture Notes in Computer Science 106, Springer 1981, ISBN 3-540-10693-6 - 1980
- [j25]Robert Melville, David Gries:
Controlled Density Sorting. Inf. Process. Lett. 10(4/5): 169-172 (1980) - [j24]David Gries, Gary Levin:
Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. Inf. Process. Lett. 11(2): 68-69 (1980) - [j23]David Gries:
Eliminating the chaff. ACM SIGSOFT Softw. Eng. Notes 5(2): 17-21 (1980) - [j22]David Gries, Gary Levin:
Assignment and Procedure Call Proof Rules. ACM Trans. Program. Lang. Syst. 2(4): 564-579 (1980) - [c15]David Gries:
Educating the Programmer: Notation, Proofs and the Development of Programs. IFIP Congress 1980: 935-944
1970 – 1979
- 1979
- [j21]David Gries:
The Schorr-Waite Graph Marking Algorithm. Acta Informatica 11: 223-232 (1979) - [j20]David Gries:
Is Sometimes Ever Better Than Alway? ACM Trans. Program. Lang. Syst. 1(2): 258-265 (1979) - 1978
- [j19]David Gries, Jayadev Misra:
A Linear Sieve Algorithm for Finding Prime Numbers. Commun. ACM 21(12): 999-1003 (1978) - [j18]Juan M. Lafuente, David Gries:
Language Facilities for Programming User-Computer Dialogues. IBM J. Res. Dev. 22(2): 145-158 (1978) - [j17]David Gries:
ACM SIGPLAN history of programming languages conference ALGOL 60 language summary. ACM SIGPLAN Notices 13(8): 1 (1978) - [j16]David Gries:
The Multiple Assignment Statement. IEEE Trans. Software Eng. 4(2): 89-93 (1978) - [c14]David Gries:
Parallel Programming. GI Jahrestagung 1978: 214-233 - [c13]David Gries:
The Schorr-Waite Graph Marking Algorithm. Program Construction 1978: 58-69 - [c12]David Gries:
Eliminating the Chaff. Program Construction 1978: 70-74 - [c11]David Gries:
Current Ideas in Programming Methodology. Program Construction 1978: 77-93 - [c10]David Gries:
Basic Axiomatic Definitions. Program Construction 1978: 94-99 - [c9]David Gries:
The Multiple Assignment Statement. Program Construction 1978: 100-112 - [c8]David Gries:
Is Sometimes Ever Better Than Always? Program Construction 1978: 113-124 - 1977
- [j15]David Gries, Narain H. Gehani:
Some Ideas on Data Types in High-Level Languages. Commun. ACM 20(6): 414-420 (1977) - [j14]David Gries:
An Exercise in Proving Parallel Programs Correct. Commun. ACM 20(12): 921-930 (1977) - [j13]David Gries:
Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs". IEEE Trans. Software Eng. 3(3): 262 (1977) - 1976
- [j12]Susan S. Owicki, David Gries:
An Axiomatic Proof Technique for Parallel Programs I. Acta Informatica 6: 319-340 (1976) - [j11]Susan S. Owicki, David Gries:
Verifying Properties of Parallel Programs: An Axiomatic Approach. Commun. ACM 19(5): 279-285 (1976) - [j10]David Gries:
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs. IEEE Trans. Software Eng. 2(4): 238-244 (1976) - [c7]David Gries:
Error Recovery and Correction - An Introduction to the Literature. Compiler Construction 1976: 627-638 - [c6]David Gries:
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract). ICSE 1976: 200 - [c5]David Gries:
Some Comments on Programming Language Design. Fachtagung über Programmiersprachen 1976: 235-252 - [c4]David Gries, Narain H. Gehani:
Some Ideas on Data Types in High Level Languages. Conference on Data: Abstraction, Definition and Structure 1976: 120 - 1975
- [c3]David Gries:
An exercise in proving parallel programs correct. Language Hierarchies and Interfaces 1975: 57-81 - 1974
- [j9]David Gries, Priar W. Kerrighan, Donald R. Chand, John D. Woolley, Richard C. Holt, Thomas W.-S. Plum, Victor Pasill, Olivier Lecarme, Clinton R. Foulk:
Panel discussion on structured programming. ACM SIGCSE Bull. 6(3): 60-68 (1974) - [c2]David Gries:
What should we teach in an introductory programming course? SIGCSE 1974: 81-89 - 1973
- [j8]David Gries:
Describing an Algorithm by Hopcroft. Acta Informatica 2: 97-109 (1973) - 1972
- [j7]David Gries:
Programming by Induction. Inf. Process. Lett. 1(3): 100-107 (1972) - [j6]Robert L. Constable, David Gries:
On Classes of Program Schemata. SIAM J. Comput. 1(1): 66-118 (1972) - [j5]Steven Brown, David Gries, Thomas G. Szymanski:
Program Schemes with Pushdown Stores. SIAM J. Comput. 1(3): 242-268 (1972) - 1971
- [b1]David Gries:
Compiler Construction for Digital Computers. John Wiley 1971, ISBN 0-471-32776-X - [c1]Robert L. Constable, David Gries:
On Classes of Program Schemata. SWAT 1971: 5-19
1960 – 1969
- 1968
- [j4]David Gries:
Use of transition matrices in compiling. Commun. ACM 11(1): 26-34 (1968) - [j3]Jerome A. Feldman, David Gries:
Translator writing systems. Commun. ACM 11(2): 77-113 (1968) - 1967
- [j2]Rudolf Bayer, David Gries, Manfred Paul, Hans-Rüdiger Wiehle:
The ALCOR Illinois 7090/7094 post mortem dump. Commun. ACM 10(12): 804-808 (1967) - 1965
- [j1]David Gries, Manfred Paul, Hans-Rüdiger Wiehle:
Some techniques used in the ALCOR ILLINOIS 7090. Commun. ACM 8(8): 496-500 (1965)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint