| Abstract
|
<p>In this paper, we give novel and … <p>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).</p>uralOperational Semantics (SOS).</p>
|
| Author
|
Mohammad Reza Mousavi +
, Michel A. Reniers +
|
| Conference
|
32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), Lisbon, PORTUGAL, JUL 11-15, 2005
|
| DOI
|
http://dx.doi.org/10.1007/11523468_98 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584694
|
| EndPage
|
1225 +
|
| HostPublication
|
Automata, Languages and Programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
Springer +
|
| Series
|
Lecture Notes in Computer Science ; 3580 +
|
| StartPage
|
1214 +
|
| Title
|
Orthogonal extensions in structural operational semantics +
|
| Volume
|
3580 +
|
| Year
|
2005 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Orthogonal extensions in structural operational semantics +
, Publications:Orthogonal extensions in structural operational semantics +
, Publications:Orthogonal extensions in structural operational semantics +
, Publications:Orthogonal extensions in structural operational semantics +
, Publications:Orthogonal extensions in structural operational semantics +
, Publications:Orthogonal extensions in structural operational semantics +
, Publications:Orthogonal extensions in structural operational semantics +
, Publications:Orthogonal extensions in structural operational semantics +
, Publications:Orthogonal extensions in structural operational semantics +
, Publications:Orthogonal extensions in structural operational semantics +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:42 +
|
