Meta SOS：基于 Maude 的 SOS 元理论框架
计算机科学中的逻辑
2013-07-30 v1 编程语言
摘要
Meta SOS 是一个软件框架，旨在整合结构操作语义（SOS）元理论的研究成果。这些成果包括仅通过对语言构造的基于规则的定義进行句法分析来推导其语义性质，以及在考虑行为等价概念时自动推导语言的可靠且基完备的公理化。本文通过融合 SOS 元理论的各个方面、其在 Maude 中的实现细节以及运行示例，描述了 Meta SOS 框架。
引用
@article{arxiv.1307.7446,
title = {Meta SOS - A Maude Based SOS Meta-Theory Framework},
author = {Luca Aceto and Eugen-Ioan Goriac and Anna Ingolfsdottir},
journal= {arXiv preprint arXiv:1307.7446},
year = {2013}
}
备注
In Proceedings EXPRESS/SOS 2013, arXiv:1307.6903