Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,029,826 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.
2007
2007
Unifying Denotational Semantics with Operational Semantics for Web Services
Huibiao Zhu
,
J. He
,
Jing Li
International Conference on Distributed Computing…
2007
Corpus ID: 9387951
Web Services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service…
Expand
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
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
1994
1994
Machine-assisted theorem-proving for software engineering
Andrew Martin
1994
Corpus ID: 21338780
The thesis describes the production of a large prototype proof system for Z, and a tactic language in which the proof tactics…
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
Toward a Real-Time Dataflow Language
A. Faustini
,
E. B. Lewis
IEEE Software
1989
Corpus ID: 17153590
This extension of the Lucid language seeks a high-level, real-time software-oriented tool with a formal mathematical semantics in…
Expand
1989
1989
Working with analogical semantics
Victor Sadler
1989
Corpus ID: 60098346
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