Orthogonal extensions in structural operational semantics

M.R. Mousavi, M.A. Reniers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (Scopus)
47 Downloads (Pure)

Samenvatting

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).
Originele taal-2Engels
TitelAutomata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005)
RedacteurenL. Caires, G.F. Italiano, L. Monteiro, C. Palamidessi, M. Yung
Plaats van productieBerlin
UitgeverijSpringer
Hoofdstuk98
Pagina's1214-1225
Aantal pagina's12
ISBN van elektronische versie978-3-540-31691-6
ISBN van geprinte versie3-540-27580-0, 978-3-540-27580-0
DOI's
StatusGepubliceerd - 2005

Publicatie series

NaamLecture Notes in Computer Science (LNCS)
Volume3580
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'Orthogonal extensions in structural operational semantics'. Samen vormen ze een unieke vingerafdruk.

Citeer dit