Meta SOS - A Maude Based SOS Meta-Theory Framework

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...

Full description

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science 2013-07, Vol.120 (Proc. EXPRESS/SOS 2013), p.93-107
Main Authors: Aceto, Luca, Goriac, Eugen-Ioan, Ingolfsdottir, Anna
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2075-2180
2075-2180
DOI:10.4204/EPTCS.120.8