Publications:Orthogonal extensions in structural operational semantics

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Orthogonal extensions in structural operational semantics
Author Mohammad Reza Mousavi and Michel A. Reniers
Year 2005
PublicationType Conference Paper
HostPublication Automata, Languages and Programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Conference 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), Lisbon, PORTUGAL, JUL 11-15, 2005
Diva url
Abstract In this paper, we give novel and more liberal notions of operationaland equational conservativity for language extensions. We motivatethese notions by showing their practical application in existing formalisms.Based on our notions, we formulate and prove meta-theoremsthat establish conservative extensions for languages defined using StructuralOperational Semantics (SOS).