David Gries

ORCID

Publication Activity (10 Years)

Years Active: 1965-2008
Publications (10 Years): 0

Publications

David Gries
A principled approach to teaching OO first. SIGCSE (2008)
David Gries
What Have We Not Learned about Teaching Programming? Computer 39 (10) (2006)
David Gries
What Have We Not Learned about Teaching Programming? SEW (2006)
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)
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) (2002)
David Gries
Problems with CS education. ITiCSE (2002)
David Gries
Where is programming methodology these days? ACM SIGCSE Bull. 34 (4) (2002)
David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz
How mathematical thinking enchances computer science problem solving. SIGCSE (2001)
Vicki L. Almstrum, David Gries
From the Editors of this special issue. Inf. Process. Lett. 77 (2-4) (2001)
David Gries, Kathleen Larson, Susan H. Rodger, Mark Allen Weiss, Ursula Wolz
AP CS goes OO. SIGCSE (2001)
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)
David Gries
Monotonicity in Calculational Proofs. Correct System Design (1999)
David Gries, Fred B. Schneider
Adding the Everywhere Operator to Propositional Logic. J. Log. Comput. 8 (1) (1998)
David Gries
Teaching calculational logic. PROCOMET (1998)
T. V. Raman, David Gries
Audio formatting - Making spoken text and math comprehensible. Int. J. Speech Technol. 2 (1) (1997)
Edward M. Reingold, Kenneth J. Urban, David Gries
K-M-P String Matching Revisited. Inf. Process. Lett. 64 (5) (1997)
Eric Aaron, David Gries
Formal Justification of Underspecification for S5. Inf. Process. Lett. 64 (3) (1997)
David Gries
Data refinement and the transform. NATO ASI DPD (1996)
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) (1996)
T. V. Raman, David Gries
Interactive Audio Documents. J. Vis. Lang. Comput. 7 (1) (1996)
T. V. Raman, David Gries
Audio formatting - Making spoken text and math comprehensible. Int. J. Speech Technol. 1 (1) (1995)
David Gries
Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic. ZUM (1995)
David Gries
Equational Logic as a Tool. AMAST (1995)
T. V. Raman, David Gries
Audio Formatting - Presenting Structured Information Aurally. Multim. Syst. 3 (3) (1995)
David Gries, Fred B. Schneider
Equational Propositional Logic. Inf. Process. Lett. 53 (3) (1995)
David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston
Teaching as a logic tool (abstract). SIGCSE (1995)
David Gries, Fred B. Schneider
Teaching Logic as a Tool. CSEE (1994)
T. V. Raman, David Gries
Interactive audio documents. ASSETS (1994)
David Gries, Dorothy Marsh
The 1989-90 Taulbee Survey. Commun. ACM 35 (1) (1992)
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)
Jennifer Widom, David Gries, Fred B. Schneider
Trace-Based Network Proof Systems: Expressiveness and Completeness. ACM Trans. Program. Lang. Syst. 14 (3) (1992)
David Gries, Dorothy Marsh
The 1990-91 Taulbee Survey Report. Computer 25 (11) (1992)
David Gries
Data Refinement and the Transform. NATO ASI PDC (1992)
Jayadev Misra, David Gries
A Constructive Proof of Vizing's Theorem. Inf. Process. Lett. 41 (3) (1992)
David Gries
Teaching Calculation and Discrimination: A More Effective Curriculum. Commun. ACM 34 (3) (1991)
David Gries
Instilling Professionalism in Software Engineers. CSEE (1990)
David Gries, Dorothy Marsh
The 1988-89 Taulbee Survey Report. Commun. ACM 33 (9) (1990)
David Gries, Dennis M. Volpano
The Transform - a New Language Construct. Struct. Program. 11 (1) (1990)
David Gries, Dorothy Marsh
The 1988-89 Taulbee Survey Report. Computer 23 (10) (1990)
David Gries, Terry Walker, Paul Young
1988 Snowbird Report: A Discipline Matures. Computer 22 (2) (1989)
David Gries
My Thoughts on Software Engineering in the Late 1960s. ICSE (1989)
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) (1989)
Selim G. Akl, David Gries, Ivan Stojmenovic
An Optimal Parallel Algorithm for Generating Combinations. Inf. Process. Lett. 33 (3) (1989)
David Gries, Dorothy Marsh
The 1987-88 Taulbee Survey Report. Computer 22 (11) (1989)
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) (1989)
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) (1989)
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) (1989)
David Gries, Terry Walker, Paul Young
The 1988 Snowbird Report: A Discipline Matures. Commun. ACM 32 (3) (1989)
David Gries, Dorothy Marsh
The 1987-1988 Taulbee Survey. Commun. ACM 32 (10) (1989)
David Gries
Position Statement on the Foundations of Software Engineering. IFIP Congress (1989)
David Gries, Jinyun Xue
Generating a Random Cycle Permutation. BIT 28 (3) (1988)
David Gries, Dorothy Marsh
The 1986-1987 Taulbee Survey. Commun. ACM 31 (8) (1988)
David Gries, Dorothy Marsh
The 1986-1987 Taulbee Survey. Computer 21 (8) (1988)
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)
Jinyun Xue, David Gries
Developing a Linear Algorithm for Cubing a Cyclic Permutation. Sci. Comput. Program. 11 (2) (1988)
David Gries
The 1985-1986 Taulbee Survey. Commun. ACM 30 (8) (1987)
David Gries
A Note on Graham's Convex Hull Algorithm. Inf. Process. Lett. 25 (5) (1987)
David Gries, Jan F. Prins
McLaren's Masterpiece. Sci. Comput. Program. 8 (2) (1987)
Jennifer Widom, David Gries, Fred B. Schneider
Completeness and Incompleteness of Trace-Based Network Proof Systems. POPL (1987)
David Gries
Models for Re-Use. FSTTCS (1987)
W. H. J. Feijen, A. J. M. van Gasteren, David Gries
In-situ Inversion of a Cyclic Permutation. Inf. Process. Lett. 24 (1) (1987)
David Gries, Adriano Pascoletti, Luigi Sbriz
Horner's Rule and the Computation of Linear Recurrences. Inf. Process. Lett. 25 (4) (1987)
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) (1986)
David Gries
The 1984-1985 Taulbee Survey. Commun. ACM 29 (10) (1986)
David Gries
The 1984-85 Taulbee Survey. Computer 19 (11) (1986)
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) (1986)
Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
A Model and Temporal Proof System for Networks of Processes. Distributed Comput. 1 (1) (1986)
David Gries, Jan F. Prins
A new notion of encapsulation. ACM SIGPLAN Notices 20 (7) (1985)
Dean Jacobs, David Gries
General Correctness: A Unification of Partial and Total Correctness. Acta Informatica 22 (1) (1985)
Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
Behavior: A Temporal Approach to Process Modelling. Logic of Programs (1985)
Van Nguyen, David Gries, Susan S. Owicki
A Model and Temporal Proof System for Networks of Processes. POPL (1985)
Fred B. Schneider, David Gries, Richard D. Schlichting
Fault-Tolerant Broadcasts. Sci. Comput. Program. 4 (1) (1984)
David Gries
Letter to Dr. Susan Gerhart: comments on two book reviews. ACM SIGSOFT Softw. Eng. Notes 7 (3) (1982)
Jayadev Misra, David Gries
Finding Repeated Elements. Sci. Comput. Program. 2 (2) (1982)
David Gries
A Note on a Standard Strategy for Developing Loop Invariants and Loops. Sci. Comput. Program. 2 (3) (1982)
Gary Levin, David Gries
A Proof Technique for Communicating Sequential Processes. Acta Informatica 15 (1981)
David Gries, Gary Levin
Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. Inf. Process. Lett. 11 (2) (1980)
Robert Melville, David Gries
Controlled Density Sorting. Inf. Process. Lett. 10 (4/5) (1980)
David Gries, Gary Levin
Assignment and Procedure Call Proof Rules. ACM Trans. Program. Lang. Syst. 2 (4) (1980)
David Gries
Educating the Programmer: Notation, Proofs and the Development of Programs. IFIP Congress (1980)
David Gries
Eliminating the chaff. ACM SIGSOFT Softw. Eng. Notes 5 (2) (1980)
David Gries
The Schorr-Waite Graph Marking Algorithm. Acta Informatica 11 (1979)
David Gries
Is Sometimes Ever Better Than Alway? ACM Trans. Program. Lang. Syst. 1 (2) (1979)
David Gries
The Schorr-Waite Graph Marking Algorithm. Program Construction (1978)
David Gries
Parallel Programming. GI Jahrestagung (1978)
David Gries
The Multiple Assignment Statement. IEEE Trans. Software Eng. 4 (2) (1978)
David Gries
Basic Axiomatic Definitions. Program Construction (1978)
David Gries
Current Ideas in Programming Methodology. Program Construction (1978)
David Gries
ACM SIGPLAN history of programming languages conference ALGOL 60 language summary. ACM SIGPLAN Notices 13 (8) (1978)
David Gries, Jayadev Misra
A Linear Sieve Algorithm for Finding Prime Numbers. Commun. ACM 21 (12) (1978)
David Gries
The Multiple Assignment Statement. Program Construction (1978)
Juan M. Lafuente, David Gries
Language Facilities for Programming User-Computer Dialogues. IBM J. Res. Dev. 22 (2) (1978)
David Gries
Is Sometimes Ever Better Than Always? Program Construction (1978)
David Gries
Eliminating the Chaff. Program Construction (1978)
David Gries
An Exercise in Proving Parallel Programs Correct. Commun. ACM 20 (12) (1977)
David Gries
Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs". IEEE Trans. Software Eng. 3 (3) (1977)
David Gries, Narain H. Gehani
Some Ideas on Data Types in High-Level Languages. Commun. ACM 20 (6) (1977)
David Gries
Some Comments on Programming Language Design. Fachtagung über Programmiersprachen (1976)
David Gries
Error Recovery and Correction - An Introduction to the Literature. Compiler Construction (1976)
David Gries
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract). ICSE (1976)

David Gries.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

David Gries