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
- Mousavi, Mohammad RezaDepartment of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands (author)
Orthogonal extensions in structural operational semantics
- Article/chapterEnglish2005
Publisher, publication year, extent ...
- Heidelberg :Springer,2005
- printrdacarrier
Numbers
- 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
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- 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 and genre
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- Formal Semantics
- Structural Operational Semantics (SOS)
- Conservative Extension
- Operational Conservativity
- Equational Conservativity
- Orthogonality
Added entries (persons, corporate bodies, meetings, titles ...)
- Reniers, Michel A.Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands (author)
- Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands (creator_code:org_t)
Related titles
- In:Automata, Languages and ProgrammingHeidelberg : Springer, s. 1214-122597835402758003540275800
Internet link
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
