Results 101 to 110 of about 11,408 (204)

Denotational semantics for occam [PDF]

, 1985
A denotational semantics is given for a large subset of occam, a programming language for concurrent systems. The semantic domain used is a "failure-sets" model modified to allow machine states to be properly dealt with. The applications of the semantics are discussed briefly, and we see how the natural congruence induced by the semantics allows us to ...
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

Revisiting Elementary Denotational Semantics

, 2017
25 pages, revision of POPL 2018 submission, now under submission to ESOP ...
openaire   +2 more sources

Modularity in Denotational Semantics

Electronic Notes in Theoretical Computer Science, 1997
AbstractWe consider a modular approach to denotational semantics. We reformulate and extend the idea of monads as notions of computation to algebraic structure together with a construction of an extended semantic category. We show that upon making that reformulation, one can obtain some account of modularity, in particular accounting for the ...
openaire   +1 more source

A crisis of authority in scientific discourse. [PDF]

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

Logic + probabilistic programming + causal laws. [PDF]

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

Programming Denotational Semantics [PDF]

The Computer Journal, 1983
openaire   +1 more source

I-Semantics: Foundational Questions

Studia Semiotyczne, 2019
DOI: http://doi.org/10.26333/sts.xxxi2.05 What is the scope of a semantic theory consistent with the theoretical assumptions adopted by the generative program?
Adriano Marques da Silva
doaj  

Context Breeds False Memories for Indeterminate Sentences. [PDF]

Front Psychol, 2021
Riven L, de Almeida RG.
europepmc   +1 more source