Orthogonal Extensions in Structural Operational Semantics

Autor:	Mousavi, M.R., Reniers, M.A., Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M.
Přispěvatelé:	Electronic Systems
Rok vydání:	2005
Předmět:	Conservative extension Computer science Programming language Semantics of logic Formal semantics (linguistics) Computer Science::Programming Languages computer.software_genre computer Operational semantics Automaton
Zdroj:	Automata, Languages and Programming ISBN: 9783540275800 ICALP Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005), 1214-1225 STARTPAGE=1214;ENDPAGE=1225;TITLE=Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005)
DOI:	10.1007/11523468_98
Popis:	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).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed5cbf471f3cad239c7c5a3fa155b83f https://doi.org/10.1007/11523468_98 Zobrazit plný text záznamu