Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,744 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
ALGOL
Coders at Work: Reflections on the Craft of Programming
Computer programming
Computer scientist
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Store buffer reduction theorem and application
Chen Geng
2016
Corpus ID: 20643817
Short Abstract The functional correctness of multicore systems can be shown through pervasive formal verification, which proves…
Expand
2008
2008
Conceptual metaphors and translation: A comparative study of metaphors in English and Spanish financial reports
Ana María Rojo López
,
María Angeles Orts Llopis
2008
Corpus ID: 155296009
In this paper we aim to carry out a comparative study of conceptual metaphors in English and Spanish financial language. In order…
Expand
2007
2007
Stefan Th. Gries i Anatol Stefanowitsch (ur.): Corpora in Cognitive Linguistics. Corpus-Based Approaches to Syntax and Lexis
N. Vuković
2007
Corpus ID: 61373909
2004
2004
Rezension: Gries, Rainer, 2003, Produkte als Medien. Kulturgeschichte der Produktkommunikation in der Bundesrepublik und der DDR
Oliver Kühschelm
2004
Corpus ID: 146271797
2001
2001
Paleomagnetism of the Upper Eocene Gries Ranch Formation, Grays Harbor County, Washington
D. Prothero
,
C. Burns
2001
Corpus ID: 129283045
The shallow marine molluscan fauna from the Gries Ranch Formation, exposed along the Cowlitz River in Lewis County, Washington…
Expand
1995
1995
Epiphytic Lichenosynusia under Conditions of Chemical Pollution: Dose-Effect Dependencies
I. Mikhailova
,
E. Vorobeichik
1995
Corpus ID: 55542142
The dose-effect dependencies, which characterize response of the epiphytic lichenosynusia of southern taiga in the Middle Urals…
Expand
1995
1995
Speciation of lead in environmental and biological samples (Technical Report)
D. Baxter
,
W. Frech
1995
Corpus ID: 33110429
Abstract
1977
1977
Simulation category languages-a DDP example
P. N. Lawrence
Online World Conference on Soft Computing in…
1977
Corpus ID: 11337232
General simulation languages can be used to express any simulation situation. Often, however, the expressions are bulky and…
Expand
1972
1972
Program Schemes with Pushdown Stores
Steven Brown
,
D. Gries
,
T. G. Szymanski
SIAM journal on computing (Print)
1972
Corpus ID: 30616660
We attempt to characterize classes of schemes allowing pushdown stores, building on an earlier work by Constable and Gries [1…
Expand
1945
1945
The integration of homemaking with other subject fields
Clara Mae Sisson
1945
Corpus ID: 64534479