Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,260,816 papers from all fields of science
Search
Sign In
Create Free Account
Denotational semantics
Known as:
Scott–Strachey semantics
, Full completeness
, Fully abstract
Expand
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
Abstract interpretation
Actor model
Actor model and process calculi
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1998
1998
Denotational semantics of object specification
A. Sernadas
,
C. Sernadas
,
C. Caleiro
Acta Informatica
1998
Corpus ID: 6313623
Abstract. From an arbitrary temporal logic institution we show how to set up the corresponding institution of objects. The main…
Expand
1997
1997
Denotational semantics for JSD
W. Yeung
Proceedings of Joint 4th International Computer…
1997
Corpus ID: 12021236
This paper discusses the use of denotational semantics in formalizing the notations of structured methods. Using the Jackson…
Expand
1993
1993
Denotational semantics for occam 2
M. Goldsmith
1993
Corpus ID: 14567435
This papergives an untimed denotational smulhticsfor the concurrent programming langUllge occam 2. It draws heDvilg on the…
Expand
Highly Cited
1990
Highly Cited
1990
Experiments with a program timing tool based on source-level timing schema
C. Park
,
A. Shaw
[] Proceedings 11th Real-Time Systems Symposium
1990
Corpus ID: 44613339
A timing tool has been implemented for a subset of C as an initial experiment in validating a methodology for predicting the…
Expand
1988
1988
Fully abstract denotational semantics for flat Concurrent Prolog
R. Gerth
,
M. Codish
,
Y. Lichtenstein
,
E. Shapiro
[] Proceedings. Third Annual Information…
1988
Corpus ID: 12307509
A denotational, hence, compositional semantics for a subset of Concurrent Prolog is developed and related to an operational…
Expand
1983
1983
The Denotational Semantics of Horn Clauses as a Production System
J. Lassez
,
Michael J. Maher
AAAI Conference on Artificial Intelligence
1983
Corpus ID: 10879888
We show how one of Nilsson's tenets on rule-based production systems, when applied to Horn clause programs, leads to a…
Expand
1981
1981
Algebraic Denotational Semantics Using Parameterized Abstract Modules
J. Goguen
,
Kamran Parsaye-Ghomi
International Colloquium on Formalization of…
1981
Corpus ID: 34696819
This paper describes a method for giving structured algebraic denotational definitions of programming language semantics. The…
Expand
Review
1980
Review
1980
Transforming denotational semantics into practical attribute grammars
H. Ganzinger
Semantics-Directed Compiler Generation
1980
Corpus ID: 19470970
I t is generally accepted that, in order to reason about programs, a formal de f in i t i on of the semantics of the programming…
Expand
1979
1979
Denotational Semantics of Parallelism
Jerald S. Schwartz
Semantics of Concurrent Computation
1979
Corpus ID: 2381844
This paper studies the denotational semantics of programming language constructs whose operational semantics require interleaving…
Expand
1975
1975
Operational reasoning and denotational semantics.
M. Gordon
1975
Corpus ID: 58306836
"Obviously true" properties of programs can be hard to prove when meanings are specified with a denotational semantics. One cause…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE