MohammadReza Mousavi, Michel Reniers, Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05), Lisboa, Portugal, volume 3580 Lecture Notes in Computer Science, pp. 1214--1225, Springer-Verlag, July 2005.
In this paper, we give novel and more liberal notions of operational and equational conservativity for language extensions. We motivate these notions by showing their practical application in existing formalisms. Based on our notions, we formulate and prove meta-theorems that establish conservative extensions for languages defined using Structural Operational Semantics (SOS).
Paper in .ps format in .pdf format Presentation in .pdf format
A detailed version of this paper appeared as:
MohammadReza Mousavi and Michel Reniers, Orthogonal Extensions in Structural Operational Semantics, Technical Report CSR-05-16,
Department of Computer Science, Eindhoven University of Technology, May 2005.
@InProceedings{MousaviICALP05,
author = "Mousavi, MohammadReza and Reniers, Michel A.",
title = "Orthogonal Extensions in Structural Operational Semantics",
booktitle = "Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05)",
series = "Lecture Notes in Computer Science",
volume = "3580",
pages = "1214--1225",
address = "Lisbon, Portugal",
publisher = "Springer-Verlag, Berlin, Germany",
year = "2005"
}