Results 231 to 240 of about 6,120 (267)
Some of the next articles are maybe not open access.
Enhanced operational semantics
ACM Computing Surveys, 1996This article surveys the definition and application of an enhancement of structural operational semantics in the field of concurrent systems, and also addresses issues of distribution and mobility ...
DEGANO, PIERPAOLO, Priami C.
openaire +1 more source
An operational semantics for ZCCS
Proceedings First IEEE International Conference on Formal Engineering Methods, 2002G. Bruns (1995) has proposed a version of value-passing CCS in which an agent language, based on that proposed by Milner, is augmented with a rich data language. The data language can be used to describe sets, tuples and sequences etc. constructed from integer, Boolean and string constants. Z is a widely used formal specification language in which sets,
Andy Galloway, Bill Stoddart
openaire +1 more source
An operational semantics for Scheme
Journal of Functional Programming, 2008Abstract This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised 5 Report on Scheme specification in four ways. First, it covers a larger part of the language, specifically
Jacob Matthews, Robert Bruce Findler
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
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 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
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
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