Orthogonal extensions in structural operational semantics (Extended abstract)

被引：0
|
作者：
Mousavi, MR [1 ]
Reniers, MA [1 ]
机构：
[1] Eindhoven Univ Technol, Dept Comp Sci, NL-5600 MB Eindhoven, Netherlands
来源：
AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS | 2005年 / 3580卷
关键词：
formal semantics; structural operational semantics (SOS); conservative extension; operational conservativity; equational conservativity; orthogonality;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we give novel and more liberal notions of operational and equational conservativity for language extensions. We motivate these notions by showing their practical application in existing formalisms. Based on our notions, we formulate and prove meta-theorems that establish conservative extensions for languages defined using Structural Operational Semantics (SOS).
引用
收藏
页码：1214 / 1225
页数：12
相关论文
共 50 条
  • [1] A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
    Serbanuta, Traian Florin
    Rosu, Grigore
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 192 (01) : 125 - 141
  • [2] Bialgebraic operational semantics and modal logic (extended abstract)
    Klin, Bartek
    22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 336 - +
  • [3] Bi-inductive Structural Semantics (Extended Abstract)
    Cousot, Patrick
    Cousot, Radhia
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 192 (01) : 29 - 44
  • [4] Soundness of the logical framework for its typed operational semantics - Extended abstract
    Goguen, H
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 177 - 197
  • [5] Quantitative semantics revisited - (Extended abstract)
    Barreiro, N
    Ehrhard, T
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 40 - 53
  • [6] Abstract operational semantics for use case maps
    Hassine, J
    Rilling, J
    Dssouli, R
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 366 - 380
  • [7] EXTENDED GENERATIVE SEMANTICS - OPERATIONAL APPROACH
    BUCCI, W
    FOUNDATIONS OF LANGUAGE, 1975, 13 (01): : 1 - 23
  • [8] Structural operational semantics for AKL
    Haridi, Seif
    Janson, Sverker
    Palamidessi, Catuscia
    Future Generation Computer Systems, 1992, 8 (04) : 409 - 421
  • [9] Modular structural operational semantics
    Mosses, PD
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 195 - 228
  • [10] The origins of structural operational semantics
    Plotkin, GD
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 3 - 15
12345