Exploiting Labels In Structural Operational Semantics (original) (raw)

Dynamic Structural Operational Semantics (preliminary version)

Olaf Owe

2012

View PDFchevron_right

Modular structural operational semantics

Peter Mosses

Journal of Logic and Algebraic Programming, 2004

View PDFchevron_right

Dynamic structural operational semantics

Olaf Owe

Journal of Logical and Algebraic Methods in Programming, 2019

View PDFchevron_right

Implicit propagation in structural operational semantics

Peter Mosses

Electronic Notes in Theoretical Computer Science, 2009

View PDFchevron_right

Modular Structural Operational Semantics with Strategies

Christiano Braga

Electronic Notes in Theoretical Computer Science, 2007

View PDFchevron_right

Structural Operational Semantics Speci cations for True Concurrency

Juan V. Echagüe

View PDFchevron_right

Structural Operational Semantics Specifications for True Concurrency

Juan V. Echagüe

View PDFchevron_right

A structural approach to operational semantics

Gordon To

The Journal of Logic and Algebraic Programming, 2004

View PDFchevron_right

Labelled transition logic: an outline

Egidio Astesiano

Acta Informatica, 2001

View PDFchevron_right

Operational Conceptual Transition Systems and Their Application to Development of Conceptual Operational Semantics of Programming Languages

Igor Anureev

System Informatics, 2017

View PDFchevron_right

Structural Operational Semantics with transitivity rules and execution time

Patricia Peratto

Clei Electronic Journal, 2009

View PDFchevron_right

Understanding programming language concepts via operational semantics

Cliff Jones

2007

View PDFchevron_right

Nonsequential Automata Semantics for a Concurrent, Object-Based Language

Amílcar Sernadas

Electronic Notes in Theoretical Computer Science, 1998

View PDFchevron_right

A Graph-Based Operational Semantics of OO Programs

Zhiming Liu, W. Ke

IEEE International Conference on Formal Engineering Methods, 2009

View PDFchevron_right

Operational Semantics Development for Procedural Programming Languages Based on Conceptual Transition Systems

Igor Anureev

2015

View PDFchevron_right

Towards technology of development of operational semantics of computer languages: unified format of labelled transition systems

Igor Anureev

SPIIRAS Proceedings

View PDFchevron_right

The formal semantics of programming languages: an introduction

G. Winskel

Choice Reviews Online

View PDFchevron_right

An open structural operational semantics for an object-oriented calculus with thread classes

Erika Abraham

2005

View PDFchevron_right

Semantics of Programming Languages

Alberto Pettorossi

2016

View PDFchevron_right

Method of the Development of Ontological Operational Semantics for Imperative Programming Languages

Igor Anureev

2016

View PDFchevron_right

An algebraic semantic framework for object oriented languages with concurrency (extended abstract)

Elena Zucca

Formal Aspects of Computing, 1996

View PDFchevron_right

Structuring Operational Semantics: Simplification and Computation

Eugenio Moggi

Electronic Notes in Theoretical Computer Science, 2007

View PDFchevron_right

Relaxed Operational Semantics of Concurrent Programming Languages

Bernard Serpette

Electronic Proceedings in Theoretical Computer Science, 2012

View PDFchevron_right

New Approach to Categorical Semantics for Procedural Languages

Stefan Korecko

Computing and Informatics, 2017

View PDFchevron_right

Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995

Austin Melton

View PDFchevron_right

An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications

Adrian Pop, Peter Fritzson

Electronic Notes in Theoretical Computer Science, 2007

View PDFchevron_right

Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings

Austin Melton

View PDFchevron_right

Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings

Austin Melton

Mathematical Foundations of Programming Semantics, 1994

View PDFchevron_right

Program Specific Transition Systems

Igor Anureev

Bulletin of the Novosibirsk Computing Center. Series:Computer Science, 2012

View PDFchevron_right

Human Comprehensible and Machine Processable Specifications of Operational Semantics

Markus Scheidgen

View PDFchevron_right