Results 301 to 310 of about 106,571 (319)
Some of the next articles are maybe not open access.
Big-step Operational Semantics Revisited
Fundamenta Informaticae, 2010In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated via a big-step operational semantics is weak, while the option of using a small-step operational semantics is not always an option, because it is less intuitive to build and understand.
Jaroslaw D. M. Kusmierek, BONO, Viviana
openaire +2 more sources
NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS
The Review of Symbolic Logic, 2009Towards NonBeing (Priest, 2005) gives a noneist account of the semantics of intentional operators and predicates. The semantics for intentional operators are modelled on those for the □ in normal modal logics. In this paper an alternative semantics, modelled on neighborhood semantics for □, is given and assessed.
openaire +3 more sources
Core operational semantics of Proto
Proceedings of the 2011 ACM Symposium on Applied Computing, 2011The Proto spatial computing language [6] simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto's successful application in a number of domains is becoming a challenge to its coherence across different platforms and distributions.
VIROLI, MIRKO, J. Beal, CASADEI, MATTEO
openaire +3 more sources
Modality-Specific Operations in Semantic Dementia
Cortex, 1997A patient suffering from semantic dementia is described who consistently demonstrated the preserved ability to support specific types of semantic judgements from visual, but not from verbal, input. In addition the representations accessed from visual input were found to trigger complex behavioural schemata, while with verbal materials the patients ...
LAURO GROTTO, ROSAPIA +2 more
openaire +3 more sources
1995
This paper introduces typed operational semantics, a class of formal systems which define a reduction to normal form for the welltyped terms of a particular type theory. These systems lead to a new approach to the metatheory for type theories, which we develop here for the simply typed lambda calculus.
openaire +1 more source
This paper introduces typed operational semantics, a class of formal systems which define a reduction to normal form for the welltyped terms of a particular type theory. These systems lead to a new approach to the metatheory for type theories, which we develop here for the simply typed lambda calculus.
openaire +1 more source
An operational semantics for occam
International Journal of Parallel Programming, 1989zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Graphical Operational Semantics
2000We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the operational semantics of diagram ...
CORRADINI, ANDREA +2 more
openaire +1 more source
An operational semantics for Occam
1988Occam is a programming language designed to support concurrent applications, especially those implemented on networks of communicating processors. The aim of this paper is to formulate the meaning of the language constructs of Occam by semantic definitions which are intended as a direct formalisation of the natural language descriptions usually found ...
openaire +1 more source