Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,935,573 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
1997
1997
A Graphical Description Technique for Communication in Software Architectures
M. Broy
,
C. Hofmann
,
I. Krueger
,
M. Schmidt
1997
Corpus ID: 6353549
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component…
Expand
1995
1995
A Simple Time Scale Decomposition Technique for Stochastic Process Algebras
J. Hillston
,
V. Mertsiotakis
Computer/law journal
1995
Corpus ID: 16237803
Many modern computer and communication systems result in large, complex performance models. The compositional approach offered by…
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
1989
1989
Working with analogical semantics
Victor Sadler
1989
Corpus ID: 60098346
1985
1985
Denotational semantics and rewrite rules for FP
Joseph Y. Halpern
,
John H. Williams
,
E. Wimmers
,
T. Winkler
ACM-SIGACT Symposium on Principles of Programming…
1985
Corpus ID: 2111393
We consider languages whose operational semantics is given by a set of rewrite rules. For such languages, it is important to be…
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
1980
1980
Knowledge Embedding in the Description System Omega
C. Hewitt
,
Giuseppe Attardi
,
M. Simi
AAAI Conference on Artificial Intelligence
1980
Corpus ID: 23104595
Omega is a description system for knowledge embedding which combines mechanisms of the predicate calculus, type systems, and…
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