Results 181 to 190 of about 188,404 (207)
Some of the next articles are maybe not open access.
Operational semantics for Verilog
Proceedings Eighth Asia-Pacific Software Engineering Conference, 2005We consider a non-trivial subset of Verilog HDL and construct an operational semantics for it. Only a handful of convenient but nonessential statements are left out for the sake of brevity. However, all challenging parts of the language, including Behavioural and RTL constructs, are considered.
openaire +1 more source
An Operational Semantics for ASSL
2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications, 2010This paper presents an operational semantics for ASSL (Autonomic System Specification Language). ASSL is a promising new formal language dedicated to the development of systems exploiting the benefits of autonomic computing, a highly-regarded technique in the development of self-managing complex systems which draws inspiration from the mammalian ...
openaire +1 more source
An Operational Semantics of Starlog
1999Starlog is a temporal logic programming language that supports declarative specification of reactive systems, input-output behaviour and destructive updates. This paper presents an operational semantics for Starlog. Its correctness and completeness with respect to a model semantics are proved.
Lunjin Lu, John G. Cleary
openaire +1 more source
Operational semantics and extensionality
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, 2000ABSTRACT In this paper the notion of extensionality is studied, for theories of of -calculi which arise from operational semantics. A new de nition of extensionality is introduced, parameterized with respect to the particular operational semantics we want to study, and it is proved that to be extensional is equivalent to be closed under a generalized ...
openaire +1 more source
On the semantics of combination operations
Journal of Applied Non-Classical Logics, 2001Intelligent agents are often faced with the problem of trying to combine possibly conflicting pieces of information obtained from different sources into a coherent view of the world. We propose a framework for the modelling of such combination operations with roots in the work of Spohn [Spo88, Spo91]. We construct a number of combination operations and
openaire +1 more source
Formal Foundations of Operational Semantics
Higher-Order and Symbolic Computation, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jonathan Ford, Ian A. Mason
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.
Mirko Viroli, Jacob Beal, Matteo Casadei
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
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