Results 241 to 250 of about 228,658 (258)

Continuous Denotational Semantics

1991
The development of a programming logic in the scope of classical first -order logic is connected with making the formal notions, used to describe program properties, internal. This can be ensured by defining the definability of these notions in the logic in question.
László Úry, Tamás Gergely
openaire   +2 more sources

Foundations of denotational semantics

1980
Chapters I and II of this paper provide an elementary introduction to the mathematical theory underlying the denotational semantic definition techniques described in this volume; the next two chapters discuss some techniques of use in reasoning about such definitions, and Chapter V describes one way of handling the semantics of languages involving ...
openaire   +2 more sources

On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics

International Workshop/Symposium on Logic-based Program Synthesis and Transformation, 2019
P. Cousot
semanticscholar   +1 more source

A Hoare Logic Contract Theory: An Exercise in Denotational Semantics

Principled Software Development, 2018
D. Gurov, Jonas Westman
semanticscholar   +1 more source

Denotational Semantics of HOFL

2017
In this chapter we exploit the domain theory from Chapter 8 to define the (lazy) denotational semantics of HOFL. For each type τ we introduce a corresponding domain (V τ )⊥ which is defined inductively over the structure of τ and such that we can assign an element of the domain (V τ )⊥ to each (closed and typable) term t with type τ.
Roberto Bruni, Ugo Montanari
openaire   +2 more sources

A modular approach to denotational semantics

2005
We propose an incremental approach to the denotational semantics of complex programming languages based on the idea of monad transformer. The traditional way of giving denotational semantics to a programming language is to translate it into a metalanguage ML with a fixed intended interpretation in the category Cpo of cpos (or some variant of it).
openaire   +3 more sources

Denotational semantics of parallelism

2005
This paper studies the denotational semantics of programming language constructs whose operational semantics require interleaving of computations. In particular a semantics is given for recursion equations with a convergence test. A convergence test is a nondeterministic construct which selects among expressions according to which one converges (i.e ...
openaire   +2 more sources

HALO: haskell to logic through denotational semantics

ACM-SIGACT Symposium on Principles of Programming Languages, 2013
Dimitrios Vytiniotis, S. Jones, Koen Claessen, Dan Rosén   +3 more
semanticscholar   +1 more source

On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC

2013 International Symposium on Theoretical Aspects of Software Engineering, 2013
Hengyang Wu, Yixiang Chen, Min Zhang
semanticscholar   +1 more source

Denotational Semantics for a Probabilistic Timed Shared-Variable Language

Unifying Theories of Programming, 2012

semanticscholar   +1 more source