2008 |
110 | EE | David Gries:
A principled approach to teaching OO first.
SIGCSE 2008: 31-35 |
2006 |
109 | EE | David Gries:
What Have We Not Learned about Teaching Programming?
SEW 2006: 175-178 |
108 | EE | David Gries:
What Have We Not Learned about Teaching Programming?
IEEE Computer 39(10): 81-82 (2006) |
2005 |
107 | EE | 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: 262-266 |
2002 |
106 | EE | David Gries:
Problems with CS education.
ITiCSE 2002: 135 |
105 | EE | 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) |
104 | EE | David Gries:
Where is programming methodology these days?
SIGCSE Bulletin 34(4): 5-7 (2002) |
2001 |
103 | EE | David Gries,
Bill Marion,
Peter Henderson,
Diane Schwartz:
How mathematical thinking enchances computer science problem solving.
SIGCSE 2001: 390-391 |
102 | EE | David Gries,
Kathleen Larson,
Susan H. Rodger,
Mark Allen Weiss,
Ursula Wolz:
AP CS goes OO.
SIGCSE 2001: 423-24 |
101 | EE | Vicki L. Almstrum,
David Gries:
From the Editors of this special issue.
Inf. Process. Lett. 77(2-4): 49-51 (2001) |
2000 |
100 | EE | 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: 416 |
1999 |
99 | EE | David Gries:
Monotonicity in Calculational Proofs.
Correct System Design 1999: 79-85 |
1998 |
98 | | 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
Chapman & Hall 1998 |
97 | | David Gries:
Teaching calculational logic.
PROCOMET 1998: 9-10 |
96 | | David Gries,
Fred B. Schneider:
Adding the Everywhere Operator to Propositional Logic.
J. Log. Comput. 8(1): 119-129 (1998) |
1997 |
95 | EE | Eric Aaron,
David Gries:
Formal Justification of Underspecification for S5.
Inf. Process. Lett. 64(3): 115-121 (1997) |
94 | EE | Edward M. Reingold,
Kenneth J. Urban,
David Gries:
K-M-P String Matching Revisited.
Inf. Process. Lett. 64(5): 217-223 (1997) |
1996 |
93 | | David Gries:
Data refinement and the transform.
NATO ASI DPD 1996: 205-232 |
92 | | 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 29(4): 16-30 (1996) |
91 | | T. V. Raman,
David Gries:
Interactive Audio Documents.
J. Vis. Lang. Comput. 7(1): 97-108 (1996) |
1995 |
90 | | David Gries:
Equational Logic as a Tool.
AMAST 1995: 1-17 |
89 | EE | David Gries,
Fred B. Schneider,
Joan Krone,
J. Stanley Warford,
J. Peter Weston:
Teaching as a logic tool (abstract).
SIGCSE 1995: 384-385 |
88 | | David Gries:
Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic.
ZUM 1995: 508-509 |
87 | | David Gries,
Fred B. Schneider:
Avoiding the Undefined by Underspecification.
Computer Science Today 1995: 366-373 |
86 | EE | David Gries,
Fred B. Schneider:
Equational Propositional Logic.
Inf. Process. Lett. 53(3): 145-152 (1995) |
85 | | T. V. Raman,
David Gries:
Audio Formatting - Presenting Structured Information Aurally.
Multimedia Syst. 3(3): 116-125 (1995) |
1994 |
84 | EE | T. V. Raman,
David Gries:
Interactive audio documents.
ASSETS 1994: 62-68 |
83 | | David Gries,
Fred B. Schneider:
Teaching Logic as a Tool.
CSEE 1994: 599-599 |
1993 |
82 | | David Gries,
Fred B. Schneider:
A Logical Approach to Discrete Math.
Springer 1993 |
1992 |
81 | EE | 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) |
80 | | David Gries,
Dorothy Marsh:
The 1989-90 Taulbee Survey.
Commun. ACM 35(1): 132-143 (1992) |
79 | | David Gries,
Dorothy Marsh:
The 1990-91 Taulbee Survey Report.
IEEE Computer 25(11): 69-75 (1992) |
78 | | Jayadev Misra,
David Gries:
A Constructive Proof of Vizing's Theorem.
Inf. Process. Lett. 41(3): 131-133 (1992) |
1991 |
77 | | David Gries:
Teaching Calculation and Discrimination: A More Effective Curriculum.
Commun. ACM 34(3): 44-55 (1991) |
1990 |
76 | | David Gries:
Instilling Professionalism in Software Engineers.
CSEE 1990: 1 |
75 | | David Gries,
Dorothy Marsh:
The 1988-89 Taulbee Survey Report.
Commun. ACM 33(9): 160-169 (1990) |
74 | | David Gries,
Dorothy Marsh:
The 1988-89 Taulbee Survey Report.
IEEE Computer 23(10): 65-71 (1990) |
73 | | David Gries,
Dennis M. Volpano:
The Transform - a New Language Construct.
Structured Programming 11(1): 1-10 (1990) |
1989 |
72 | | David Gries:
My Thoughts on Software Engineering in the Late 1960s.
ICSE 1989: 98 |
71 | | David Gries:
Position Statement on the Foundations of Software Engineering.
IFIP Congress 1989: 954 |
70 | | 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) |
69 | | David Gries,
Dorothy Marsh:
The 1987-1988 Taulbee Survey.
Commun. ACM 32(10): 1217-1224 (1989) |
68 | | David Gries,
Terry Walker,
Paul Young:
The 1988 Snowbird Report: A Discipline Matures.
Commun. ACM 32(3): 294-297 (1989) |
67 | | 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) |
66 | | David Gries,
Dorothy Marsh:
The 1987-88 Taulbee Survey Report.
IEEE Computer 22(11): 49-56 (1989) |
65 | | 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 22(2): 63-70 (1989) |
64 | | David Gries,
Terry Walker,
Paul Young:
1988 Snowbird Report: A Discipline Matures.
IEEE Computer 22(2): 72-75 (1989) |
63 | | Selim G. Akl,
David Gries,
Ivan Stojmenovic:
An Optimal Parallel Algorithm for Generating Combinations.
Inf. Process. Lett. 33(3): 135-139 (1989) |
62 | | 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) |
1988 |
61 | EE | 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 |
60 | | David Gries,
Jinyun Xue:
Generating a Random Cycle Permutation.
BIT 28(3): 569-572 (1988) |
59 | | David Gries,
Dorothy Marsh:
The 1986-1987 Taulbee Survey.
Commun. ACM 31(8): 984-991 (1988) |
58 | | David Gries,
Dorothy Marsh:
The 1986-1987 Taulbee Survey.
IEEE Computer 21(8): 53-61 (1988) |
57 | | Jinyun Xue,
David Gries:
Developing a Linear Algorithm for Cubing a Cyclic Permutation.
Sci. Comput. Program. 11(2): 161-165 (1988) |
1987 |
56 | | David Gries:
Models for Re-Use.
FSTTCS 1987: 373-375 |
55 | | Jennifer Widom,
David Gries,
Fred B. Schneider:
Completeness and Incompleteness of Trace-Based Network Proof Systems.
POPL 1987: 27-38 |
54 | | David Gries:
The 1985-1986 Taulbee Survey.
Commun. ACM 30(8): 688-694 (1987) |
53 | | 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) |
52 | | David Gries,
Adriano Pascoletti,
Luigi Sbriz:
Horner's Rule and the Computation of Linear Recurrences.
Inf. Process. Lett. 25(4): 237-240 (1987) |
51 | | David Gries:
A Note on Graham's Convex Hull Algorithm.
Inf. Process. Lett. 25(5): 323-328 (1987) |
50 | | David Gries,
Jan Prins:
McLaren's Masterpiece.
Sci. Comput. Program. 8(2): 139-145 (1987) |
1986 |
49 | | David Gries:
The 1984-1985 Taulbee Survey.
Commun. ACM 29(10): 972-977 (1986) |
48 | | 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) |
47 | | Van Nguyen,
Alan J. Demers,
David Gries,
Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes.
Distributed Computing 1(1): 7-25 (1986) |
46 | | David Gries,
Raymond E. Miller,
Robert W. Ritchie,
Paul Young:
Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding.
IEEE Computer 19(9): 70-76 (1986) |
1985 |
45 | | Van Nguyen,
Alan J. Demers,
David Gries,
Susan S. Owicki:
Behavior: A Temporal Approach to Process Modelling.
Logic of Programs 1985: 237-254 |
44 | | Van Nguyen,
David Gries,
Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes.
POPL 1985: 121-131 |
43 | | Dean Jacobs,
David Gries:
General Correctness: A Unification of Partial and Total Correctness.
Acta Inf. 22(1): 67-83 (1985) |
1984 |
42 | | Fred B. Schneider,
David Gries,
Richard D. Schlichting:
Fault-Tolerant Broadcasts.
Sci. Comput. Program. 4(1): 1-15 (1984) |
1982 |
41 | | Jayadev Misra,
David Gries:
Finding Repeated Elements.
Sci. Comput. Program. 2(2): 143-152 (1982) |
40 | | David Gries:
A Note on a Standard Strategy for Developing Loop Invariants and Loops.
Sci. Comput. Program. 2(3): 207-214 (1982) |
1981 |
39 | | David Gries:
The Science of Programming.
Springer 1981 |
38 | | Gary Levin,
David Gries:
A Proof Technique for Communicating Sequential Processes.
Acta Inf. 15: 281-302 (1981) |
1980 |
37 | | David Gries:
Educating the Programmer: Notation, Proofs and the Development of Programs.
IFIP Congress 1980: 935-944 |
36 | EE | David Gries,
Gary Levin:
Assignment and Procedure Call Proof Rules.
ACM Trans. Program. Lang. Syst. 2(4): 564-579 (1980) |
35 | | Robert Melville,
David Gries:
Controlled Density Sorting.
Inf. Process. Lett. 10(4/5): 169-172 (1980) |
34 | | David Gries,
Gary Levin:
Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time.
Inf. Process. Lett. 11(2): 68-69 (1980) |
1979 |
33 | EE | David Gries:
Is Sometimes Ever Better Than Alway?
ACM Trans. Program. Lang. Syst. 1(2): 258-265 (1979) |
32 | | David Gries:
The Schorr-Waite Graph Marking Algorithm.
Acta Inf. 11: 223-232 (1979) |
1978 |
31 | | David Gries:
Parallel Programming.
GI Jahrestagung 1978: 214-233 |
30 | | David Gries:
The Multiple Assignment Statement.
Program Construction 1978: 100-112 |
29 | | David Gries:
Is Sometimes Ever Better Than Always?
Program Construction 1978: 113-124 |
28 | | David Gries:
The Schorr-Waite Graph Marking Algorithm.
Program Construction 1978: 58-69 |
27 | | David Gries:
Eliminating the Chaff.
Program Construction 1978: 70-74 |
26 | | David Gries:
Current Ideas in Programming Methodology.
Program Construction 1978: 77-93 |
25 | | David Gries:
Basic Axiomatic Definitions.
Program Construction 1978: 94-99 |
24 | | David Gries,
Jayadev Misra:
A Linear Sieve Algorithm for Finding Prime Numbers.
Commun. ACM 21(12): 999-1003 (1978) |
23 | | Juan M. Lafuente,
David Gries:
Language Facilities for Programming User-Computer Dialogues.
IBM Journal of Research and Development 22(2): 145-158 (1978) |
22 | | David Gries:
The Multiple Assignment Statement.
IEEE Trans. Software Eng. 4(2): 89-93 (1978) |
1977 |
21 | | David Gries:
An Exercise in Proving Parallel Programs Correct.
Commun. ACM 20(12): 921-930 (1977) |
20 | | David Gries,
Narain H. Gehani:
Some Ideas on Data Types in High-Level Languages.
Commun. ACM 20(6): 414-420 (1977) |
19 | | 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 |
18 | | David Gries:
Error Recovery and Correction - An Introduction to the Literature.
Compiler Construction 1976: 627-638 |
17 | EE | David Gries,
Narain H. Gehani:
Some Ideas on Data Types in High Level Languages.
Conference on Data: Abstraction, Definition and Structure 1976: 120 |
16 | | David Gries:
Some Comments on Programming Language Design.
Fachtagung über Programmiersprachen 1976: 235-252 |
15 | | David Gries:
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract).
ICSE 1976: 200 |
14 | | Susan S. Owicki,
David Gries:
An Axiomatic Proof Technique for Parallel Programs I.
Acta Inf. 6: 319-340 (1976) |
13 | | Susan S. Owicki,
David Gries:
Verifying Properties of Parallel Programs: An Axiomatic Approach.
Commun. ACM 19(5): 279-285 (1976) |
12 | | 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) |
1975 |
11 | | David Gries:
An exercise in proving parallel programs correct.
Language Hierarchies and Interfaces 1975: 57-81 |
1973 |
10 | | David Gries:
Describing an Algorithm by Hopcroft
Acta Inf. 2: 97-109 (1973) |
1972 |
9 | | David Gries:
Programming by Induction.
Inf. Process. Lett. 1(3): 100-107 (1972) |
8 | | Robert L. Constable,
David Gries:
On Classes of Program Schemata.
SIAM J. Comput. 1(1): 66-118 (1972) |
7 | | Steven Brown,
David Gries,
Thomas G. Szymanski:
Program Schemes with Pushdown Stores.
SIAM J. Comput. 1(3): 242-268 (1972) |
1971 |
6 | | David Gries:
Compiler Construction for Digital Computers
John Wiley 1971 |
5 | | Robert L. Constable,
David Gries:
On Classes of Program Schemata
FOCS 1971: 5-19 |
1968 |
4 | EE | David Gries:
Use of transition matrices in compiling.
Commun. ACM 11(1): 26-34 (1968) |
3 | EE | Jerome A. Feldman,
David Gries:
Translator writing systems.
Commun. ACM 11(2): 77-113 (1968) |
1967 |
2 | EE | 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 |
1 | EE | David Gries,
Manfred Paul,
Hans-Rüdiger Wiehle:
Some techniques used in the ALCOR ILLINOIS 7090.
Commun. ACM 8(8): 496-500 (1965) |