Orthogonal Extensions in Structural Operational Semantics (original) (raw)
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).
Related papers
Structural Operational Semantics with transitivity rules and execution time
Clei Electronic Journal, 2009
We deflne an structural operational semantics of the core of an imperative language. It has a measure in the transitions corresponding to the number of steps of evaluation that takes place in the transition (from the point of view of usual complexity theory) and transitivity rules that allow to prove in the theory what is usually proved in the meta-theory.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.