Orthogonal extensions in structural operational semantics

M.R. Mousavi; M.A. Reniers

doi:10.1007/11523468_98

Orthogonal extensions in structural operational semantics

M.R. Mousavi, M.A. Reniers

Electronic Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

10 Citations (Scopus)

108 Downloads (Pure)

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).

Original language	English
Title of host publication	Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005)
Editors	L. Caires, G.F. Italiano, L. Monteiro, C. Palamidessi, M. Yung
Place of Publication	Berlin
Publisher	Springer
Chapter	98
Pages	1214-1225
Number of pages	12
ISBN (Electronic)	978-3-540-31691-6
ISBN (Print)	3-540-27580-0, 978-3-540-27580-0
DOIs	https://doi.org/10.1007/11523468_98
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Volume	3580
ISSN (Print)	0302-9743

Access to Document

10.1007/11523468_98

publisher versionFinal published version, 158 KB

Cite this

Mousavi, M. R., & Reniers, M. A. (2005). Orthogonal extensions in structural operational semantics. In L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi, & M. Yung (Eds.), Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005) (pp. 1214-1225). (Lecture Notes in Computer Science (LNCS); Vol. 3580). Springer. https://doi.org/10.1007/11523468_98

Mousavi, M.R. ; Reniers, M.A. / Orthogonal extensions in structural operational semantics. Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005). editor / L. Caires ; G.F. Italiano ; L. Monteiro ; C. Palamidessi ; M. Yung. Berlin : Springer, 2005. pp. 1214-1225 (Lecture Notes in Computer Science (LNCS)).

@inproceedings{32f4fdb240744882903c45f51b4f2979,

title = "Orthogonal extensions in structural operational semantics",

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).",

author = "M.R. Mousavi and M.A. Reniers",

year = "2005",

doi = "10.1007/11523468_98",

language = "English",

isbn = "3-540-27580-0",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "1214--1225",

editor = "L. Caires and G.F. Italiano and L. Monteiro and C. Palamidessi and M. Yung",

booktitle = "Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005)",

address = "Germany",

}

Mousavi, MR & Reniers, MA 2005, Orthogonal extensions in structural operational semantics. in L Caires, GF Italiano, L Monteiro, C Palamidessi & M Yung (eds), Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005). Lecture Notes in Computer Science (LNCS), vol. 3580, Springer, Berlin, pp. 1214-1225. https://doi.org/10.1007/11523468_98

Orthogonal extensions in structural operational semantics. / Mousavi, M.R.; Reniers, M.A.
Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005). ed. / L. Caires; G.F. Italiano; L. Monteiro; C. Palamidessi; M. Yung. Berlin: Springer, 2005. p. 1214-1225 (Lecture Notes in Computer Science (LNCS); Vol. 3580).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Orthogonal extensions in structural operational semantics

AU - Mousavi, M.R.

AU - Reniers, M.A.

PY - 2005

Y1 - 2005

N2 - 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).

AB - 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).

U2 - 10.1007/11523468_98

DO - 10.1007/11523468_98

M3 - Conference contribution

SN - 3-540-27580-0

SN - 978-3-540-27580-0

T3 - Lecture Notes in Computer Science (LNCS)

SP - 1214

EP - 1225

BT - Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005)

A2 - Caires, L.

A2 - Italiano, G.F.

A2 - Monteiro, L.

A2 - Palamidessi, C.

A2 - Yung, M.

PB - Springer

CY - Berlin

ER -

Mousavi MR, Reniers MA. Orthogonal extensions in structural operational semantics. In Caires L, Italiano GF, Monteiro L, Palamidessi C, Yung M, editors, Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005). Berlin: Springer. 2005. p. 1214-1225. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/11523468_98

Orthogonal extensions in structural operational semantics

Abstract

Publication series

Access to Document

Fingerprint

Cite this