SOS 规范的分配律与可判定性质
编程语言
2014-08-08 v1
摘要
某些行为良好的操作规范格式对应于特定类型的自然变换（例如，GSOS 和 coGSOS 律）。这些变换有一个共同的推广：单子 over 余单子的分配律。我们证明，这一优雅的理论推广具有有限的实际益处：它无法转化为任何具体的规则格式，以完备地涵盖同时包含 GSOS 和 coGSOS 规则的规范。这一点已在标记转换系统和确定性流系统的案例中得到证明。
引用
@article{arxiv.1408.1458,
title = {Distributive Laws and Decidable Properties of SOS Specifications},
author = {Bartek Klin and Beata Nachyła},
journal= {arXiv preprint arXiv:1408.1458},
year = {2014}
}
备注
In Proceedings EXPRESS/SOS 2014, arXiv:1408.1271