Results 101 to 110 of about 2,907 (227)
Equivalence of denotational and operational semantics for interaction languages
, 2022 16th International Symposium, TASE 2022, July 8-10 2022, Cluj-Napoca (Roumanie)International audienceMessage Sequence Charts (MSC) and Sequence Diagrams (SD) are graphical models that represent the behaviours of distributed and concurrent systems via the
Gaston, Christophe +2 more
core +1 more source
On infinite computations in denotational semantics
Theoretical Computer Science, 1983 AbstractFinite and, especially, infinite computations in languages with iteration or recursion are studied in the framework of denotational semantics, and a theorem is proved which relates their syntactic and semantic characterizations. A general proof method is presented to establish this type of relations, and it is shown how—in an induction on the ...
J. W. de Bakker +2 more
openaire +2 more sources
An algebraic basis for specifying and enforcing access control in security systems
, 2000 Security services in a multi-user environment are often based on access control mechanisms. Static aspects of an access control policy can be formalised using abstract algebraic models.
Pahl, Claus
core
The denotational semantics of an object oriented programming language
, 1990 Recently, several descriptions of object oriented programming languages with denotational semantics have been given. Cook presented a denotational semantics of class inheritance.
Hense, Andreas V.
core +1 more source
Semantic Domains and Denotational Semantics
DAIMI Report Series, 1989 <p>Denotational Semantics is a framework for the formal description of programming language semantics. The main idea of Denotational Semantics is that each phrase of the described language is given a <em>denotation</em>: a mathematical object that represents the contribution of the phrase to the meaning of any program in which it ...
Carl A. Gunter +2 more
openaire +2 more sources
Mobile Process in Unifying Theories [PDF]
, 2004 This report presents the initial work in the development of a theory of mobile processes in Circus, a language for describing state-based reactive systems.
Tang, Xinbei
core
Meaning and Reference in Programming Languages
PhilosophiesThis 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: PhilologicaThe 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
Disentangling denotational semantics specifications
, 2008 Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equations in a definition may have to be aware of unrelated constructs semantics.
Saraiva, João Alexandre +2 more
core
On denotational versus predicative semantics
, 1991 Two 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.
Broy, Manfred, Lengauer, Christian
core +1 more source