Follow
David Gries
David Gries
Professor Emeritus (as of 2012), Computer Science, Cornell University
Verified email at cs.cornell.edu - Homepage
Title
Cited by
Cited by
Year
The science of programming
D Gries
Springer Science & Business Media, 2012
28152012
An axiomatic proof technique for parallel programs I
S Owicki, D Gries
Acta informatica 6 (4), 319-340, 1976
16281976
Computing as a discipline
PJ Denning, DE Comer, D Gries, MC Mulder, A Tucker, AJ Turner, ...
Computer 22 (2), 63-70, 1989
1382*1989
Compiler construction for digital computers
D Gries
John Wiley & Sons, Inc., 1971
8761971
Verifying properties of parallel programs: An axiomatic approach
S Owicki, D Gries
Communications of the ACM 19 (5), 279-285, 1976
7981976
A logical approach to discrete math
D Gries, FB Schneider
Springer Science & Business Media, 2013
6692013
Finding repeated elements
J Misra, D Gries
Science of computer programming 2 (2), 143-152, 1982
6401982
A proof technique for communicating sequential processes
GM Levin, D Gries
Acta Informatica 15 (3), 281-302, 1981
2401981
A constructive proof of Vizing's theorem
J Misra, D Gries
Information Processing Letters 41 (3), 131-133, 1992
2221992
Translator writing systems
J Feldman, D Gries
Communications of the ACM 11 (2), 77-113, 1968
2181968
An exercise in proving parallel programs correct
D Gries
Communications of the ACM 20 (12), 921-930, 1977
1441977
Describing an algorithm by Hopcroft
D Gries
Acta Informatica 2 (2), 97-109, 1973
1401973
A model and temporal proof system for networks of processes
V Nguyen, D Gries, S Owicki
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985
1241985
Fault-tolerant broadcasts
FB Schneider, D Gries, RD Schlichting
Science of Computer Programming 4 (1), 1-15, 1984
1241984
Assignment and procedure call proof rules
D Gries, G Levin
ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (4), 564-579, 1980
1151980
On classes of program schemata
RL Constable, G David
SIAM Journal on computing 1 (1), 66-118, 1972
1141972
A note on a standard strategy for developing loop invariants and loops
D Gries
Science of Computer Programming 2 (3), 207-214, 1982
1131982
Programming methodology: a collection of articles by members of IFIP WG2. 3
D Gries
Springer Science & Business Media, 2012
1032012
What should we teach in an introductory programming course?
D Gries
Proceedings of the fourth SIGCSE technical symposium on Computer science …, 1974
1001974
An introduction to programming: a structured approach using PL/1 and PL/C
RW Conway, D Gries
(No Title), 1973
911973
The system can't perform the operation now. Try again later.
Articles 1–20