Abstract
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). © Springer-Verlag Berlin Heidelberg 2005.
Author supplied keywords
Cite
CITATION STYLE
APA
Mousavi, M. R., & Reniers, M. A. (2005). Orthogonal extensions in Structural Operational Semantics. In Lecture Notes in Computer Science (Vol. 3580, pp. 1214–1225). Springer Verlag. https://doi.org/10.1007/11523468_98
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free