Results 121 to 130 of about 228,658 (258)

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

The Denotational Semantics of SSA

94 pages, 38 figures, mechanization available at https://github.com/imbrem/debruijn-ssa/tree/toplas ...
Ghalayini, Jad Elkhaleq, Krishnaswami, Neel   +1 more
openaire   +2 more sources

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

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

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

Logic + probabilistic programming + causal laws. [PDF]

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

Processes and the denotational semantics of concurrency

Information and Control, 1982
A framework allowing a unified and rigorous definition of the semantics of concurrency is proposed. The mathematical model introduces processes as elements of process domains which are obtained as solutions of domain equations in the sense of Scott and Plotkin.
J. W. de Bakker, Jeffery I. Zucker
openaire   +2 more sources

A crisis of authority in scientific discourse. [PDF]

Cult Stud Sci Educ, 2021
Nichols MD, Petzold AM.
europepmc   +1 more source

CCSL denotational semantics

, 2014
The Clock Constraint Specification Language (CCSL) has been informally introduced in the specifications of the \uml Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE). In a previous report entitled ``Syntax and Semantics of the Clock Constraint Specification Language'', we equipped a kernel of CCSL with an operational semantics.
Deantoni, Julien, André, Charles, Gascon, Régis   +2 more
openaire   +1 more source

Denotational semantics of ANSI C [PDF]

, 2001
Nikolaos Papaspyrou
openalex   +1 more source