hh.sePublications
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, 1214-1225 p.Conference 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, 1214-1225 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 3580
Keyword [en]
Formal Semantics, Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Orthogonality
National Category
Computer and Information Science
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: 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: 2014-11-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 83 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