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

Logical relations

Logical relations are a proof method employed in programming language semantics to show that two denotational semantics are equivalent. To describe… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Fine-grained concurrent data structures (or FCDs) reduce the granularity of critical sections in both time and space, thus making… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2011
Highly Cited
2011
There has recently been great progress in proving the correctness of compilers for increasingly realistic languages with… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We show how to reason about "step-indexed" logical relations in an abstract way, avoiding the tedious, error-prone, and proof… Expand
  • figure 3
  • figure 4
  • figure 5
  • figure 9
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Inter-language interoperability is big business, as the success of Microsoft's .NET and COM and Sun's JVM show. Programming… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of… Expand
  • figure 2
  • figure 7
Is this relevant?
2001
2001
The theory of relational parametricity and its logical relations proof technique are powerful tools for reasoning about… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1982. 
Is this relevant?
1993
1993
We give an algorithm for deciding whether there exists a definable element of a finite model of an applied typed lambda calculus… Expand
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Definition des relations logiques. Demonstration des principaux resultats syntaxiques sur le calcul de type lambda a partir du… Expand
Is this relevant?
Highly Cited
1976
Highly Cited
1976
Both in science and in practical affairs we reason by combining facts only inconclusively supported by evidence. Building on an… Expand
Is this relevant?