Results 51 to 60 of about 246 (185)

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

Inquiry and Logical Form

Philosophical Perspectives, EarlyView.
ABSTRACT Joint inquiry requires agents to exchange public content about some target domain, which in turn requires them to track which content a linguistic form contributes to a conversation. But, often, the inquiry delivers a necessary truth. For example, if we are inquiring whether a particular bird, Tweety, is a woodpecker, and discover that it is ...
Una Stojnić, Matthew Stone
wiley   +1 more source

Verification of Control System Runtime Using an Executable Semantic Model

Algorithms
The paper outlines a methodology for validating the accuracy of a control system’s runtime implementation. The runtime takes the form of a virtual machine executing portable code compliant with IEC 61131-3 standards.
Jan Sadolewski, Bartosz Trybus
doaj   +1 more source

QRB-Domains and the Probabilistic Powerdomain [PDF]

Logical Methods in Computer Science, 2012
Is there any Cartesian-closed category of continuous domains that would be closed under Jones and Plotkin's probabilistic powerdomain construction? This is a major open problem in the area of denotational semantics of probabilistic higher-order languages.
Jean Goubault-Larrecq
doaj   +1 more source

The I in logic

Theoria, EarlyView.
Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley   +1 more source

Denotational semantics of CSP

Theoretical Computer Science, 1984
In this paper we propose a new denotational semantics for CSP. The domains used in the semantics are very simple, compared to those used in other approaches to the semantics of CSP. Moreover, our denotations are more abstract than those of the other approaches.
openaire   +1 more source

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 ...
Saumya K. Debray, Prateek Mishra
openaire   +1 more source

Winged horses, rascals and discourse referents

Theoria, EarlyView.
Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley   +1 more source

A proof-theoretic view on scheduling in concurrency [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
This paper elaborates on a new approach of the question of the proof-theoretic study of concurrent interaction called "proofs as schedules". Observing that proof theory is well suited to the description of confluent systems while concurrency has non ...
Emmanuel Beffara
doaj   +1 more source

Delomization, or the esoteric Nechung kang so, the Dalai Lama, and exilic imaginings of a Tibetan community

Journal of Linguistic Anthropology, Volume 36, Issue 2, August 2026.
Abstract I propose the concept of delomization, the process whereby a sign comes to be understood as a symbol. I term such signs delomes. With rhematization and dicentization, delomization completes the triplet that linguistic anthropologists derive from Charles Sanders Peirce's third trichotomy.
Urmila Nair
wiley   +1 more source