Results 41 to 50 of about 228,658 (258)
A Simple Semantics and Static Analysis for Stack Inspection [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The Java virtual machine and the .NET common language runtime feature an access control mechanism specified operationally in terms of run-time stack inspection. We give a denotational semantics in "eager" form, and show that it is equivalent to the "lazy"
Anindya Banerjee, David A. Naumann
doaj +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 ...
Gunter, Carl A +2 more
openaire +5 more sources
A Model of Cooperative Threads [PDF]
Logical Methods in Computer Science, 2010 We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control.
Martín Abadi, Gordon D. Plotkin
doaj +1 more source
, 2011 Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
De Nicola, Rocco
core +1 more source
A denotational semantics for equilibrium logic [PDF]
Theory and Practice of Logic Programming, 2015 AbstractIn this paper we provide an alternative semantics for Equilibrium Logic and its monotonic basis, the logic of Here-and-There (also known as Gödel'sG3logic) that relies on the idea ofdenotationof a formula, that is, a function that collects the set of models of that formula.
Pedro Cabalar +4 more
openaire +3 more sources
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces [PDF]
Scientific Annals of Computer Science, 2014 In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite models, one ...
B. Valiron, S. Zdancewic
doaj +1 more source
An Effect System for Algebraic Effects and Handlers [PDF]
Logical Methods in Computer Science, 2014 We present an effect system for core Eff, a simplified variant of Eff, which is an ML-style programming language with first-class algebraic effects and handlers. We define an expressive effect system and prove safety of operational semantics with respect
Andrej Bauer, Matija Pretnar
doaj +1 more source
On phase semantics and denotational semantics: the exponentials
Annals of Pure and Applied Logic, 2001 AbstractWe extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard (Ann. Pure. Appl. Logic 102 (3) (2000) 247). We define an indexed version of propositional linear logic and provide a sequent calculus for this system.
Ehrhard, Thomas, Bucciarelli, Antonio
openaire +3 more sources
Denotational semantics for timed testing [PDF]
, 1997 In this paper we present a denotational semantics for a timed process algebra, which is fully abstract with respect to the must testing semantics previously developed [Lla96,LdFN96]. The domain of semantic processes is made up of consistent sets of barbs, which generalize the notion of acceptance sets, in such a way that the actions that are offered ...
Llana Díaz, Luis Fernando +1 more
openaire +3 more sources
Unifying Theories of Mobile Channels [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In this paper we present the denotational semantics for channel mobility in the Unifying Theories of Programming (UTP) semantics framework. The basis for the model is the UTP theory of reactive processes (precisely, the UTP semantics for Communicating ...
Gerard Ekembe Ngondi
doaj +1 more source