Denotational semantics

Known as: Scott–Strachey semantics, Full completeness, Fully abstract 
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
We propose to use the visual denotations of linguistic expressions (i.e. the set of images they describe) to define novel… (More)
  • figure 1
  • table 1
  • figure 3
  • table 2
  • table 3
Is this relevant?
2001
2001
We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard (Ann. Pure. Appl. Logic… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We show the benefits of applying modular monadic semantics to compiler construction. Modular monadic semantics allows us to… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We present the ESTEREL programming language which is especially designed to program reactive systems, that is systems which… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
syntax n ∈ Nat ::= 0 | 1 | 2 | . . . d ∈ Dir ::= N | S | E | W s ∈ Step ::= go d n m ∈ Move ::= | s ; m go N 3; go E 4; go S 1… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
This thesis develops a semantic model of inheritance and investigates its applications for the analysis and design of programming… (More)
  • table 2.1
  • figure 2.1
  • figure 3.1
  • figure 3.2
  • table 5.1
Is this relevant?
1989
1989
A denotational semantics is presented for the language Pro.og. Metapredicates are not considered. Conventional control sequencing… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Why should wait for some days to get or receive the practical introduction to denotational semantics book that you order? Why… (More)
Is this relevant?
Highly Cited
1982
Highly Cited
1982
A framework allowing a unified and rigorous definition of the semantics of concurrency is proposed. The mathematical model… (More)
Is this relevant?
Highly Cited
1979
Highly Cited
1979
We start with a very brief description of the many-valued logic approach to the formal treatment of null values in data bases and… (More)
Is this relevant?