Results 271 to 280 of about 4,882 (287)
Some of the next articles are maybe not open access.
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,
W.J. Stoddart, Andy Galloway
openaire +2 more sources
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
An operational semantics for Scheme
Journal of Functional Programming, 2007This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in four ways. First, it covers a larger part of the language, specifically eval, quote, dynamic-wind, and the top level. Second, it models multiple values in a way that does not
Jacob Matthews, Robert Bruce Findler
openaire +1 more source
Parametric Operational Semantics
2004In this part we will study the evaluation of terms and the induced operational semantics. Our notion of operational semantics is inspired by the structured operational semantics (SOS) developed by Plotkin [80] and by Kahn [55].
Simona Ronchi Della Rocca, Luca Paolini
openaire +2 more sources
Syntax and Operational Semantics
2001In this chapter we introduce the syntax and operational semantics of the Petri Box Calculus. We discuss the basic version of PBC, i.e., the part which directly originates from CCS and was informally introduced in the previous chapter, as well as possible extensions. We also present two notions which identify behaviourally equivalent PBC expressions and
Raymond Devillers +2 more
openaire +2 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.
Healfdene Goguen, Healfdene Goguen
openaire +2 more sources
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.
Healfdene Goguen, Healfdene Goguen
openaire +2 more sources
Operational Semantics for Coordination in Paradigm
2002Paradigm is the modeling language of SOCCA regarding communication, coordination and cooperation. A transition system or STD-based operational semantics for Paradigm is proposed and illustrated with basic producer-consumer examples. The proposed semantics for Paradigm, in contrast to other approaches, provides a sound basis for reasoningab out system ...
Luuk Groenewegen +2 more
openaire +2 more sources
An operational semantics for Scheme
ACM SIGPLAN Lisp Pointers, 1992In the informal description of Scheme, the order of evaluating the operands and the operator of each application is unspecified. This paper presents an operational semantics for Scheme which faithfully reflects this fact. Furthermore, when the semantics is restricted so as to assume there is one unspecified order used throughout a program, the ...
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 +2 more sources
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.
John G. Cleary, Lunjin Lu
openaire +2 more sources