Results 261 to 270 of about 42,644,411 (279)

Bialgebraic Methods in Structural Operational Semantics

Electronic Notes in Theoretical Computer Science, 2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of algebraic and coalgebraic methods, it abstracts from concrete notions of syntax
Bartek Klin
exaly   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Structural Operational Semantics

2000
This appendix introduces the basics of structural operational semantics [171], which defines a labelled transition system over a term algebra. An up-to-date overview of structural operational semantics is given in [3].
Aceto, Luca, Fokkink, W., Verhoef, C.
openaire   +3 more sources

Structural Operational Semantics of P Systems

2006
The paper formally describes an operational semantics of P systems. We present an abstract syntax of P systems, then the notion of configurations, and we define the sets of inference rules corresponding to the three stages of an evolution step: maximal parallel rewriting, parallel communication, and parallel dissolving.
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu   +2 more
openaire   +2 more sources

A structured operational semantics for UML-statecharts

Software and Systems Modeling, 2002
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the price of an unprecise and incomplete semantics definition. This insufficiency concerns single UML diagram notations on their own as well as their integration. In this paper,
openaire   +2 more sources

Structured Operational Semantics of a fragment of the language Scheme

Journal of Functional Programming, 1998
In this paper we give a big-step Structured Operational Semantics (SOS), in the style of Plotkin, Kahn and Milner, of a significant fragment of the functional programming language Scheme , including quote, eval, quasiquote and unquote. The SOS formalism allows us to discuss incrementally
Honsell F., Pravato A., RONCHI DELLA ROCCA, Simonetta   +2 more
openaire   +2 more sources

Summary of: Dynamic Structural Operational Semantics

2019
This short paper summarises the contributions published in the authors’ journal article [2].
Christian Johansen, Olaf Owe
openaire   +2 more sources

Structured operational semantics as a specification language

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95, 1995
Standard specification languages have very limited abilities to define new operations on processes. We introduce the concept of a Protean specification language, with general definitional facilities supported by the appropriate theory. Protean languages allow elegant, readable, and useful specifications at all levels of abstraction.
openaire   +1 more source

Structural Operational Semantics for Cellular Automata

2012
The structural operational semantics approach to the dynamic meaning of formal models has been immensely influential as a foundation of both theoretical calculi and practical programming languages, and is a viable alternative to automata-oriented approaches.
openaire   +2 more sources

Structured operational semantics for concurrency and hierarchy

1993
This paper presents a language, CHA, and semantics for studying Statechartslike drawings. CHA is a process algebra. CHA terms are interpreted as programs that extend Mealy- style finite automata with concurrent execution and hierarchical structure. Transitions in CHA can cross hierarchy boundaries, and it is this fact that makes giving a semantics to ...
openaire   +2 more sources

From High-Level Language to Abstract Machine Code: An Interactive Compiler and Emulation Tool for Teaching Structural Operational Semantics

Communications in Computer and Information Science, 2023
William Steingartner
exaly