Publications:Orthogonal extensions in structural operational semantics
From CERES
| Title | Orthogonal extensions in structural operational semantics |
|---|---|
| Author | Mohammad Reza Mousavi and Michel A. Reniers |
| Year | 2005 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | Automata, Languages and Programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings |
| DOI | http://dx.doi.org/10.1007/11523468_98 |
| Conference | 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), Lisbon, PORTUGAL, JUL 11-15, 2005 |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584694 |
| 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). |
