Skip to search formSkip to main contentSkip to account menu

David Gries

Known as: Gries 
David Gries (born 26 April 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States primarily known… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
ALGOLCoders at Work: Reflections on the Craft of ProgrammingComputer programmingComputer scientist

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)
2010
2010
On Automated Program Construction and Verification
A new approach for automating the const construction and verification of imperative programs is presented. Based on the standard… 
2009
2009
Lexical patterning in a construction grammar: The effect of lexical co-occurrence patterns on the inflectional variation in Dutch attributive adjectives
This paper compares two measures that quantify lexical preference patterns in the area of Construction Grammar, namely… 
2008
2008
Conceptual metaphors and translation: A comparative study of metaphors in English and Spanish financial reports
In this paper we aim to carry out a comparative study of conceptual metaphors in English and Spanish financial language. In order… 
Review
2003
Review
2003
Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes…
As it says in chapter 10, in the 1970s there was a ‘. . . golden age of programming when program construction was regarded as an… 
1997
1997
Safe combinations of services using B
The paper reports on the use of the B method and related tools to handle the feature interaction problem in telecommunications… 
1995
1995
Speciation of lead in environmental and biological samples (Technical Report)
Abstract 
1995
1995
Epiphytic Lichenosynusia under Conditions of Chemical Pollution: Dose-Effect Dependencies
The dose-effect dependencies, which characterize response of the epiphytic lichenosynusia of southern taiga in the Middle Urals… 
1988
1988
Determination of traces of thallium in various matrices
Abstract 
1972
1972
Program Schemes with Pushdown Stores
We attempt to characterize classes of schemes allowing pushdown stores, building on an earlier work by Constable and Gries [1… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)