☰

David J Gries

Affiliations: 
1969- Computer Science Cornell University, Ithaca, NY, United States 
Area:
programming methodology, semantics, compilers, logic
Google:
"David Gries"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Friedrich L. Bauer grad student Technical University München (Computer Science Tree)

Children

Sign in to add trainee
Susan Speer Owicki grad student Cornell
Jan F Prins grad student Cornell

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Gries D, Marsh D. (1992) The 1990-91 Taulbee survey report (computer science education) Ieee Computer. 25: 69-75
Gries D. (1991) Teaching calculation and discrimination: a more effective curriculum Communications of the Acm. 34: 44-55
Gries D. (1991) Improving the curriculum through the teaching of calculation and discrimination Education and Computing. 7: 61-72
Gries D, Xue J. (1988) Generating a random cyclic permutation Bit. 28: 569-572
Gries D. (1987) The 1985-1986 Taulbee survey Communications of the Acm. 30: 688-694
Gries D, Prins J. (1985) A new notion of encapsulation Sigplan Notices. 20: 131-139
Levin GM, Gries D. (1981) A proof technique for communicating sequential processes Acta Informatica. 15: 281-302
Gries D. (1979) Is Sometimes Ever Better Than Always Acm Transactions On Programming Languages and Systems. 1: 258-265
Lafuente JM, Gries D. (1978) Language facilities for programming user-computer dialogues Ibm Journal of Research and Development. 22: 145-158
Gries D. (1977) An exercise in proving parallel programs correct Communications of the Acm. 20: 921-930
See more...