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

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2004
Review
2004
  • G. Plotkin
  • J. Log. Algebraic Methods Program.
  • 2004
  • Corpus ID: 503212
Abstract We review the origins of structural operational semantics. The main publication `A Structural Approach to Operational… Expand
Highly Cited
1997
Highly Cited
1997
  • D. Turi, G. Plotkin
  • Proceedings of Twelfth Annual IEEE Symposium on…
  • 1997
  • Corpus ID: 13268853
We present a categorical theory of 'well-behaved' operational semantics which aims at complementing the established theory of… Expand
Highly Cited
1994
Highly Cited
1994
This paper will focus on the semantic representation of verbs in computer systems and its impact on lexical selection problems in… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
1992
Highly Cited
1992
Abstract We present the E sterel programming language which is especially designed to program reactive systems, that is systems… Expand
Highly Cited
1990
Highly Cited
1990
  • P. Mosses
  • Handbook of Theoretical Computer Science, Volume…
  • 1990
  • Corpus ID: 37671785
Publisher Summary This chapter focuses on denotational semantics, which is a framework for the formal description of programming… Expand
Highly Cited
1982
Highly Cited
1982
The purpose of the theory of domains is to give models for spaces on which to define computable functions. The kinds of spaces… Expand
Highly Cited
1982
Highly Cited
1982
A framework allowing a unified and rigorous definition of the semantics of concurrency is proposed. The mathematical model… Expand
Highly Cited
1981
Highly Cited
1981
From the Publisher: "First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal… Expand
Highly Cited
1980
Highly Cited
1980
Review
1976
Review
1976
This paper is a tutorial introduction to the theory of programming language semantics developed by D. Scott and C. Strachey. The… Expand
  • figure 1