Orthogonal extensions in structural operational semantics

• 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

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Nyckelord

Formal Semantics

Structural Operational Semantics (SOS)

Conservative Extension

Operational Conservativity

Equational Conservativity

Orthogonality

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)