Meta SOS - A Maude Based SOS Meta-Theory Framework

被引：3

作者：

Aceto, Luca ^{[1
,2
]}

Goriac, Eugen-Ioan ^{[1
]}

Ingolfsdottir, Anna ^{[1
]}

机构：

[1] Reykjavik Univ, Sch Comp Sci, ICE TCS, Reykjavik, Iceland

[2] IMT Lucca Inst Adv Studies, SysMA, I-55100 Lucca, Italy

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2013年 / 120期

关键词：

D O I：

10.4204/EPTCS.120.8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic properties of language constructs just by syntactically analyzing their rule-based definition, as well as automatically deriving sound and ground-complete axiomatizations for languages, when considering a notion of behavioural equivalence. This paper describes the Meta SOS framework by blending aspects from the meta-theory of SOS, details on their implementation in Maude, and running examples.

引用

页码：93 / 107

页数：15

共 35 条

[1]

Aceto Luca, 2011, Algebra and Coalgebra in Computer Science. Proceedings 4th International Conference, CALCO 2011, P378, DOI 10.1007/978-3-642-22944-2_27

[2] TURNING SOS RULES INTO EQUATIONS [J].

ACETO, L ;

BLOOM, B ;

VAANDRAGER, F .

INFORMATION AND COMPUTATION, 1994, 111 (01) :1-52

[3]

Aceto L., 2001, HDB PROCESS ALGEBRA, P197, DOI [DOI 10.1016/B978-044482830-9/50021-7, 10.1016/B978-044482830-9/50021-7]

[4]

Aceto L, 2013, LECT NOTES COMPUT SC, V7741, P108

[5] Axiomatizing GSOS with Predicates [J].

Aceto, Luca ;

Caltais, Georgiana ;

Goriac, Eugen-Ioan ;

Ingolfsdottir, Anna .

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (62) :1-15

[6] Rule formats for determinism and idempotence [J].

Aceto, Luca ;

Birgisson, Arnar ;

Ingolfsdottir, Anna ;

Mousavi, MohammadReza ;

Reniers, Michel A. .

SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (7-8) :889-907

[7]

Aceto L, 2011, LECT NOTES COMPUT SC, V6638, P80, DOI 10.1007/978-3-642-21254-3_5

[8]

Aceto L, 2009, BULL EUR ASSOC THEOR, P81

[9] SOS rule formats for zero and unit elements [J].

Aceto, Luca ;

Cimini, Matteo ;

Ingolfsdottir, Anna ;

Mousavi, MoharnmadReza ;

Reniers, Michel A. .

THEORETICAL COMPUTER SCIENCE, 2011, 412 (28) :3045-3071

[10]

Aceto Luca, 2013, LECT NOTES COMPUTER, V8089

← 1 2 3 4 →