| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Gries |
A principled approach to teaching OO first.  |
SIGCSE  |
2008 |
DBLP DOI BibTeX RDF |
teaching OO, teaching object-oriented programming, CS1, objects first |
| 1 | David Gries |
What Have We Not Learned about Teaching Programming? |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
software engineering, programming, computer science curriculum |
| 1 | David Gries |
What Have We Not Learned about Teaching Programming? |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chavdar Botev, Hubert Chao, Theodore Chao, Yim Cheng, Raymond Doyle, Sergey Grankin, Jon Guarino, Saikat Guha, Pei-Chen Lee, Dan Perry, Christopher Re, 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 |
DBLP DOI BibTeX RDF |
education, courseware |
| 1 | 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 |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Where is programming methodology these days? |
SIGCSE Bulletin |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Problems with CS education. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vicki L. Almstrum, David Gries |
From the Editors of this special issue. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Kathleen Larson, Susan H. Rodger, Mark Allen Weiss, Ursula Wolz |
AP CS goes OO. |
SIGCSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Bill Marion, Peter Henderson, Diane Schwartz |
How mathematical thinking enchances computer science problem solving. |
SIGCSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen L. Astrachan, Robert Cartwight, Rich 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Monotonicity in Calculational Proofs. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider |
Adding the Everywhere Operator to Propositional Logic. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Willem P. de Roever (eds.) |
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 |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | David Gries |
Teaching calculational logic. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Eric Aaron, David Gries |
Formal Justification of Underspecification for S5. |
Inf. Process. Lett. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward M. Reingold, Kenneth J. Urban, David Gries |
K-M-P String Matching Revisited. |
Inf. Process. Lett. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
IEEE Computer |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | T. V. Raman, David Gries |
Interactive Audio Documents. |
J. Vis. Lang. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Data refinement and the transform. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider |
Equational Propositional Logic. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | T. V. Raman, David Gries |
Audio Formatting - Presenting Structured Information Aurally. |
Multimedia Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider |
Avoiding the Undefined by Underspecification. |
Computer Science Today |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Equational Logic as a Tool. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston |
Teaching as a logic tool (abstract). |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider |
Teaching Logic as a Tool. |
CSEE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | T. V. Raman, David Gries |
Interactive audio documents. |
ASSETS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Fred B. Schneider |
A Logical Approach to Discrete Math. |
|
1993 |
RDF |
|
| 1 | Jayadev Misra, David Gries |
A Constructive Proof of Vizing's Theorem. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Widom, David Gries, Fred B. Schneider |
Trace-Based Network Proof Systems: Expressiveness and Completeness. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP DOI BibTeX RDF |
trace logics, temporal logics, safety properties, process networks |
| 1 | David Gries, Dorothy Marsh |
The 1989-90 Taulbee Survey. |
Commun. ACM |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Dorothy Marsh |
The 1990-91 Taulbee Survey Report. |
IEEE Computer |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Teaching Calculation and Discrimination: A More Effective Curriculum. |
Commun. ACM |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Dennis M. Volpano |
The Transform - a New Language Construct. |
Structured Programming |
1990 |
DBLP BibTeX RDF |
|
| 1 | David Gries, Dorothy Marsh |
The 1988-89 Taulbee Survey Report. |
Commun. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Dorothy Marsh |
The 1988-89 Taulbee Survey Report. |
IEEE Computer |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Instilling Professionalism in Software Engineers. |
CSEE |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Selim G. Akl, David Gries, Ivan Stojmenovic |
An Optimal Parallel Algorithm for Generating Combinations. |
Inf. Process. Lett. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Terry Walker, Paul Young |
The 1988 Snowbird Report: A Discipline Matures. |
Commun. ACM |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Dorothy Marsh |
The 1987-1988 Taulbee Survey. |
Commun. ACM |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ted Eisenberg, David Gries, Juris Hartmanis, Don Holcomb, M. Stuart Lynn, Thomas Santoro |
The Cornell Commission: On Morris and the Worm. |
Commun. ACM |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Terry Walker, Paul Young |
1988 Snowbird Report: A Discipline Matures. |
IEEE Computer |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Dorothy Marsh |
The 1987-88 Taulbee Survey Report. |
IEEE Computer |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young |
Computing as a Discipline. |
IEEE Computer |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Position Statement on the Foundations of Software Engineering. |
IFIP Congress |
1989 |
DBLP BibTeX RDF |
|
| 1 | David Gries |
My Thoughts on Software Engineering in the Late 1960s. |
ICSE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinyun Xue, David Gries |
Developing a Linear Algorithm for Cubing a Cyclic Permutation. |
Sci. Comput. Program. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Dorothy Marsh |
The 1986-1987 Taulbee Survey. |
Commun. ACM |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Dorothy Marsh |
The 1986-1987 Taulbee Survey. |
IEEE Computer |
1988 |
DBLP BibTeX RDF |
|
| 1 | David Gries, Jinyun Xue |
Generating a Random Cycle Permutation. |
BIT |
1988 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
ACM |
| 1 | David Gries, Adriano Pascoletti, Luigi Sbriz |
Horner's Rule and the Computation of Linear Recurrences. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | W. H. J. Feijen, A. J. M. van Gasteren, David Gries |
In-situ Inversion of a Cyclic Permutation. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
A Note on Graham's Convex Hull Algorithm. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Jan Prins |
McLaren's Masterpiece. |
Sci. Comput. Program. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
The 1985-1986 Taulbee Survey. |
Commun. ACM |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Widom, David Gries, Fred B. Schneider |
Completeness and Incompleteness of Trace-Based Network Proof Systems. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Models for Re-Use. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
The 1984-1985 Taulbee Survey. |
Commun. ACM |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young |
Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. |
Commun. ACM |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young |
Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. |
IEEE Computer |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki |
A Model and Temporal Proof System for Networks of Processes. |
Distributed Computing |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Dean Jacobs, David Gries |
General Correctness: A Unification of Partial and Total Correctness. |
Acta Inf. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki |
Behavior: A Temporal Approach to Process Modelling. |
Logic of Programs |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Nguyen, David Gries, Susan S. Owicki |
A Model and Temporal Proof System for Networks of Processes. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider, David Gries, Richard D. Schlichting |
Fault-Tolerant Broadcasts. |
Sci. Comput. Program. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra, David Gries |
Finding Repeated Elements. |
Sci. Comput. Program. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
A Note on a Standard Strategy for Developing Loop Invariants and Loops. |
Sci. Comput. Program. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Levin, David Gries |
A Proof Technique for Communicating Sequential Processes. |
Acta Inf. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
The Science of Programming. |
|
1981 |
RDF |
|
| 1 | Robert Melville, David Gries |
Controlled Density Sorting. |
Inf. Process. Lett. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Gary Levin |
Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. |
Inf. Process. Lett. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Gary Levin |
Assignment and Procedure Call Proof Rules. |
ACM Trans. Program. Lang. Syst. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Educating the Programmer: Notation, Proofs and the Development of Programs. |
IFIP Congress |
1980 |
DBLP BibTeX RDF |
|
| 1 | David Gries |
The Schorr-Waite Graph Marking Algorithm. |
Acta Inf. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Is Sometimes Ever Better Than Alway? |
ACM Trans. Program. Lang. Syst. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
The Multiple Assignment Statement. |
IEEE Trans. Software Eng. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Jayadev Misra |
A Linear Sieve Algorithm for Finding Prime Numbers. |
Commun. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan M. Lafuente, David Gries |
Language Facilities for Programming User-Computer Dialogues. |
IBM Journal of Research and Development |
1978 |
DBLP BibTeX RDF |
|
| 1 | David Gries |
Eliminating the Chaff. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Basic Axiomatic Definitions. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
The Multiple Assignment Statement. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Current Ideas in Programming Methodology. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Is Sometimes Ever Better Than Always? |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
The Schorr-Waite Graph Marking Algorithm. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Parallel Programming. |
GI Jahrestagung |
1978 |
DBLP BibTeX RDF |
|
| 1 | David Gries |
Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs". |
IEEE Trans. Software Eng. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
An Exercise in Proving Parallel Programs Correct. |
Commun. ACM |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries, Narain H. Gehani |
Some Ideas on Data Types in High-Level Languages. |
Commun. ACM |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs. |
IEEE Trans. Software Eng. |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan S. Owicki, David Gries |
An Axiomatic Proof Technique for Parallel Programs I. |
Acta Inf. |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan S. Owicki, David Gries |
Verifying Properties of Parallel Programs: An Axiomatic Approach. |
Commun. ACM |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gries |
Some Comments on Programming Language Design. |
Fachtagung über Programmiersprachen |
1976 |
DBLP BibTeX RDF |
|
| 1 | David Gries, Narain H. Gehani |
Some Ideas on Data Types in High Level Languages. |
Conference on Data: Abstraction, Definition and Structure |
1976 |
DBLP BibTeX RDF |
|
| 1 | David Gries |
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract). |
ICSE |
1976 |
DBLP BibTeX RDF |
|
| 1 | David Gries |
Error Recovery and Correction - An Introduction to the Literature. |
Compiler Construction |
1976 |
DBLP BibTeX RDF |
|
| 1 | David Gries |
An exercise in proving parallel programs correct. |
Language Hierarchies and Interfaces |
1975 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")