Results 101 to 110 of about 11,766 (228)
Denotational and operational semantics for prolog
The Journal of Logic Programming, 1988 The semantics of PROLOG programs is usually given in terms of the model theory of first-order logic. However, this does not adequately characterize the computational behavior of PROLOG programs. PROLOG implementations typically use a sequential evaluation strategy based on the textual order of clauses and literals in a program, as well as nonlogical ...
Debray, Saumya K., Mishra, Prateek
openaire +1 more source
From standard to implementation denotational semantics [PDF]
, 1980 Martin R. Raskovsky, P.A. Collier
openalex +1 more source
Denotational semantics as a foundation for cost recurrence extraction for functional languages [PDF]
, 2022 Norman Danner, Daniel R. Licata
openalex +1 more source
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
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
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
Logic + probabilistic programming + causal laws. [PDF]
R Soc Open Sci, 2023 Belle V.
europepmc +1 more source