onr:"swepub:oai:DiVA.org:hh-20471"
Search: onr:"swepub:oai:DiVA.org:hh-20471" > Orthogonal extensio...
- 1 of 1
- Previous record
- Next record
- To hitlist
Orthogonal extensions in structural operational semantics
-
- Mousavi, Mohammad Reza (author)
- Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands
-
- Reniers, Michel A. (author)
- Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands
- (creator_code:org_t)
- Heidelberg : Springer, 2005
- 2005
- English.
- In: Automata, Languages and Programming. - Heidelberg : Springer. - 9783540275800 - 3540275800 ; , s. 1214-1225
- Conference paper (peer-reviewed)
Abstract
Subject headings
Close
- 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).
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- Formal Semantics
- Structural Operational Semantics (SOS)
- Conservative Extension
- Operational Conservativity
- Equational Conservativity
- Orthogonality
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
- Automata, Languages and Programming (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Mousavi, Mohamma ...
- Reniers, Michel ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- Articles in the publication
- Automata, Langua ...
- By the university
- Halmstad University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
