Results 21 to 30 of about 2,907 (227)
Game semantics for interface middleweight Java [PDF]
, 2014 We consider an object calculus in which open terms interact with the environment through interfaces. The calculus is intended to capture the essence of contextual interactions of Middleweight Java code.
Tzevelekos, Nikos +3 more
core +1 more source
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
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +1 more source
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
Semantics for a Quantum Programming Language by Operator Algebras [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces.
Kenta Cho
doaj +1 more source
A Meta-model Semantics for Structural Constraints in UML [PDF]
, 1999 The UML standard has adopted a meta-modelling approach to defining the abstract syntax of UML. A meta-modelling approach is taken essentially to aid the construction of automated tools, but the semantics is defined by statements in English.
Gaito, S. +5 more
core +1 more source
Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq [PDF]
, 2013 Basing program analyses on formal semantics has a long and successful tradition in the logic programming paradigm. These analyses rely on results about the relative correctness of mathematically sophisticated semantics, and authors of such analyses often
Jael Kriener +5 more
core +1 more source
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
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
A denotational semantics for Timed Linda [PDF]
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, 2001 In [5] we introduced a Timed Linda language (T-Linda) whic hwas obtained by a natural timed interpretation of the usual constructs of the Linda model and by including a simple primitive for specifying time-outs. Here we define a denotational model for T-Linda which is based on timed reactive sequences.
Frank S. de Boer +2 more
openaire +4 more sources