Sökning: id:"swepub:oai:DiVA.org:hh-20471" >
Orthogonal extensio...
-
Mousavi, Mohammad RezaDepartment of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands
(författare)
Orthogonal extensions in structural operational semantics
- Artikel/kapitelEngelska2005
Förlag, utgivningsår, omfång ...
-
Heidelberg :Springer,2005
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:hh-20471
-
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20471URI
-
https://doi.org/10.1007/11523468_98DOI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
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).
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Reniers, Michel A.Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands
(författare)
-
Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Automata, Languages and ProgrammingHeidelberg : Springer, s. 1214-122597835402758003540275800
Internetlänk
Hitta via bibliotek
Till lärosätets databas