Results 121 to 130 of about 85,558 (251)

A denotational semantics of inheritance and its correctness

ACM SIGPLAN Notices, 1989
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of the purpose of inheritance. The correctness of the model is demonstrated by proving it equivalent to an operational semantics of inheritance based upon the method-lookup algorithm of object-oriented languages.
CookW., PalsbergJ.
openaire   +5 more sources

Decorated proofs for computational effects: Exceptions

, 2012
We define a proof system for exceptions which is close to the syntax for exceptions, in the sense that the exceptions do not appear explicitly in the type of any expression.
Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude   +3 more
core   +1 more source

Meaning and Reference in Programming Languages

Philosophies
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj   +1 more source

Contributions to the compositional semantics of first-order predicate logic [PDF]

arXiv, 2015
Henkin, Monk and Tarski gave a compositional semantics for first-order predicate logic. We extend this work by including function symbols in the language and by giving the denotation of the atomic formula as a composition of the denotations of its predicate symbol and of its tuple of arguments.
arxiv  

Logic + probabilistic programming + causal laws. [PDF]

R Soc Open Sci, 2023
Belle V.
europepmc   +1 more source

On denotational versus predicative semantics

Journal of Computer and System Sciences, 1991
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.
Christian Lengauer, Manfred Broy
openaire   +2 more sources

Semantic Variability of the Word ‘Creature’ in Elizabethan Prose Fiction [PDF]

Acta Universitatis Sapientiae: Philologica
The present research focuses on the exploration of the meaning of the word ‘creature’ in the context of Elizabethan prose fiction. The inherent vagueness and ambiguity of the lexeme ‘creature’, comprising diverse meanings, yields its multiple readings
Liudmyla Hryzhak
doaj   +1 more source

Games and Full Completeness for Multiplicative Linear Logic [PDF]

Journal of Symbolic Logic (1994), volume 59 no. 2, pages 543-574, 2013
We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net.
arxiv  

On the denotational semantics of Linear Logic with least and greatest fixed points of formulas [PDF]

arXiv, 2019
We develop a denotational semantics of Linear Logic with least and greatest fixed points in coherence spaces (where both fixed points are interpreted in the same way) and in coherence spaces with totality (where they have different interpretations).
arxiv  

Abstracting Denotational Interpreters [PDF]

arXiv
We explore denotational interpreters: denotational semantics that produce coinductive traces of a corresponding small-step operational semantics. By parameterising our denotational interpreter over the semantic domain and then varying it, we recover dynamic semantics with different evaluation strategies as well as summary-based static analyses such as ...
arxiv