Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory… Expand
  • figure 4
  • figure 5
  • figure 7
  • figure 8
  • figure 9
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A reversible programming language supports deterministic forward and backward computation. We formalize the programming language… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Abstract In this paper I address the role of words in meaning-construction. My starting point is the observation that the… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The results usually reported in corpus-linguistic studies are quantitative: frequencies, percentages, model parameters, etc… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Abstract Introduction This discussion note argues that distinctive collexeme analysis (Gries and Stefanowitsch 2004) can be… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
It is challenge to maintain frequent items over a data stream, with a small bounded memory, in a dynamic environment where both… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
1. Introduction Usage-based approaches hold that we learn linguistic constructions while engaging in communication, the… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
  • G. Smith
  • Sci. Comput. Program.
  • 1994
  • Corpus ID: 9627140
Abstract We show how the Hindley/Milner polymorphic type system can be extended to incorporate overloading and subtyping. Our… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1993
Highly Cited
1993
A uni ed, comprehensive presentation of simulation techniques for veri cation of concurrent systems is given, in terms of a… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1974
Highly Cited
1974
Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1974. Ph.D. 
  • table 4.2
Is this relevant?