Results 291 to 300 of about 57,646 (303)

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   +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   +1 more source

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

General Structural Operational Semantics through Categorical Logic

2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008
Certain principles are fundamental to operational semantics, regardless of the languages or idioms involved. Such principles include rule-based definitions and proof techniques for congruence results. We formulate these principles in the general context of categorical logic.
openaire   +1 more source

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  

Bialgebraic methods and modal logic in structural operational semantics

Information and Computation, 2009
Bartek Klin
exaly  

Visualization of imperative programs translation with Structural Operational Semantics

2022
Ján Perháč
exaly  

Executable structural operational semantics in Maude

The Journal of Logic and Algebraic Programming, 2006
Alberto Verdejo, Narciso Martí-Oliet
exaly  

Structural Operational Semantics and Modal Logic, Revisited

Electronic Notes in Theoretical Computer Science, 2010
Bartek Klin
exaly  

Another Tool for Structural Operational Semantics Visualization of Simple Imperative Language

2020
Ján Perháč
exaly