AbstractTwo definitions of a language of communicating programs are offered: one by denotational semantics, and one by predicative specifications. The equivalence of both definitions is established. Both partial and total correctness semantics are considered. Nondeterminism and its interaction with recursion is studied. The main contribution is a comparative study of the descriptive and the prescriptive viewpoint of program semantics
In this paper we provide a constructive interpretation of Hoare logics with the constructive and int...
In David Schmidts PhD work he explored the use of denotational semantics as a programming lan-guage....
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmi...
AbstractTwo definitions of a language of communicating programs are offered: one by denotational sem...
Over the years, different approaches to give semantics of program-ming and specification language ha...
AbstractThe formal semantics of a programming language consists of assigning to every program of the...
Denotational Semantics is a framework for the formal description of programming language semantics....
It is important to define and relate different semantic methods. In particular it is interesting to...
Introduction There are several ways to give a semantics of a programming language. Each kind of sem...
Denotational semantics is a powerful technique to formally define programming languages. However, la...
Formal description of a language gives insight into the language itself. The formal description may ...
A fully abstract denotational semantics for logic programming has not been constructed yet. In this ...
AbstractTwo-level semantics is a variant of Scott/Strachey denotational semantics in which the conce...
A laudable trend of the past two decades has been the increased use of denotational semantics to gui...
The paper introduces a semantics for definite logic programs expressed in terms of SLD-derivations a...
In this paper we provide a constructive interpretation of Hoare logics with the constructive and int...
In David Schmidts PhD work he explored the use of denotational semantics as a programming lan-guage....
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmi...
AbstractTwo definitions of a language of communicating programs are offered: one by denotational sem...
Over the years, different approaches to give semantics of program-ming and specification language ha...
AbstractThe formal semantics of a programming language consists of assigning to every program of the...
Denotational Semantics is a framework for the formal description of programming language semantics....
It is important to define and relate different semantic methods. In particular it is interesting to...
Introduction There are several ways to give a semantics of a programming language. Each kind of sem...
Denotational semantics is a powerful technique to formally define programming languages. However, la...
Formal description of a language gives insight into the language itself. The formal description may ...
A fully abstract denotational semantics for logic programming has not been constructed yet. In this ...
AbstractTwo-level semantics is a variant of Scott/Strachey denotational semantics in which the conce...
A laudable trend of the past two decades has been the increased use of denotational semantics to gui...
The paper introduces a semantics for definite logic programs expressed in terms of SLD-derivations a...
In this paper we provide a constructive interpretation of Hoare logics with the constructive and int...
In David Schmidts PhD work he explored the use of denotational semantics as a programming lan-guage....
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmi...
DOI
Add to ORKG