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
25152012
Proof of Therapeutical Effectiveness of Nootropic and Vasoactive Drugs: Advances in Clinical and Experimental Nicergoline Research
D Wirth, H Heidrich
Springer Science & Business Media, 2012
18112012
An axiomatic proof technique for parallel programs I
S Owicki, D Gries
Acta informatica 6 (4), 319-340, 1976
14571976
Computing as a discipline
PJ Denning, DE Comer, D Gries, MC Mulder, A Tucker, AJ Turner, ...
Computer 22 (2), 63-70, 1989
1200*1989
Compiler construction for digital computers
DJ Gries
Wiley, 1971
7831971
Verifying properties of parallel programs: An axiomatic approach
S Owicki, D Gries
Communications of the ACM 19 (5), 279-285, 1976
6941976
A logical approach to discrete math
D Gries, FB Schneider
Springer Science & Business Media, 2013
6082013
Finding repeated elements
J Misra, D Gries
Science of computer programming 2 (2), 143-152, 1982
5261982
Understanding concurrent systems
AW Roscoe
Springer Science & Business Media, 2010
4462010
A proof technique for communicating sequential processes
GM Levin, D Gries
Acta Informatica 15 (3), 281-302, 1981
2231981
Translator writing systems
J Feldman, D Gries
Communications of the ACM 11 (2), 77-113, 1968
1901968
A constructive proof of Vizing’s theorem
J Misra, D Gries
Information Processing Letters, 1992
1691992
An exercise in proving parallel programs correct
D Gries
Communications of the ACM 20 (12), 921-930, 1977
1371977
Describing an algorithm by Hopcroft
D Gries
Acta Informatica 2 (2), 97-109, 1973
1291973
A model and temporal proof system for networks of processes
V Nguyen, A Demers, D Gries, S Owicki
Distributed Computing 1 (1), 7-25, 1986
1141986
Fault-tolerant broadcasts
FB Schneider, D Gries, RD Schlichting
Science of Computer Programming 4 (1), 1-15, 1984
1121984
On classes of program schemata
RL Constable, G David
SIAM Journal on computing 1 (1), 66-118, 1972
1091972
Assignment and procedure call proof rules
D Gries, G Levin
ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (4), 564-579, 1980
1071980
A note on a standard strategy for developing loop invariants and loops
D Gries
Science of Computer Programming 2 (3), 207-214, 1982
1001982
What should we teach in an introductory programming course?
D Gries
Proceedings of the fourth SIGCSE technical symposium on Computer science …, 1974
931974
The system can't perform the operation now. Try again later.
Articles 1–20