hh.sePublications
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Orthogonal extensions in structural operational semantics
Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands.ORCID iD: 0000-0002-4869-6794
Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands.
2005 (English)In: Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings, Heidelberg: Springer, 2005, Vol. 3580, p. 1214-1225Conference paper, Published paper (Refereed)
Abstract [en]

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).
Place, publisher, year, edition, pages
Heidelberg: Springer, 2005. Vol. 3580, p. 1214-1225
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 3580
Keywords [en]
Formal Semantics, Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Orthogonality
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:hh:diva-20471DOI: 10.1007/11523468_98ISI: 000230880500098Scopus ID: 2-s2.0-26444619798ISBN: 978-3-540-27580-0 ISBN: 3-540-27580-0 OAI: oai:DiVA.org:hh-20471DiVA, id: diva2:584694
Conference
32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), Lisbon, PORTUGAL, JUL 11-15, 2005
Available from: 2013-01-09 Created: 2013-01-08 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Mousavi, Mohammad Reza

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 120 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.45.0
|
WCAG
|
Halmstad University Library
|
Info for students
|
Info for researchers
|
Log in