Orthogonal Extensions in Structural Operational Semantics

d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands 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). Key words: Formal Semantics, Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Orthogonality.

• Type: Conference
• Year: 2005
• Where: ICALP
• Authors: Mohammad Reza Mousavi, Michel A. Reniers
• Keywords: Conservative Extension, Equational Conservativity, ICALP 2005, Structural Operational Semantics, Theoretical Computer Science