Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
复制标题
形式化方法教学 - 第三届国际研讨会和教程，FMTea 2019，作为第三届世界形式化方法大会的一部分举行，FM 2019，葡萄牙波尔图，2019 年 10 月 7 日，会议记录
DOI：
10.1007/978-3-030-32441-4_11
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Johnstone A
中科院分区：
文献类型：
--
作者：
Johnstone A
来自命令式传统的程序员通常没有使用归纳定义和推理的经验，这可以解释为什么可执行SOS规范没有成为主流语言开发工具包的标准功能。我们希望为这样的程序员'去神秘化' SOS，允许精确和原则性的规范，即使是小型工业DSL的。eSOS（elided Structural Operational Semantics）是一种用于指定可执行形式语义的紧凑工具。它被设计为丰富的SOS规范语言的翻译目标。eSOS及其参考Java实现的简单性允许程序员遵循执行跟踪的细节，并使用传统的调试框架逐步通过规则，使他们能够理解和使用基于SOS的规范来构建可用的语言解释器。
Programmers from the imperative tradition often have little experience of using inductive definitions and inference, and that may explain why executable SOS specifications have not become a standard feature of mainstream language development toolkits. We wish to ‘de-mystify’ SOS for such programmers, allowing precise and principled specifications to be given for even small industrial DSL’s. eSOS (elided Structural Operational Semantics) is a compact tool for specifying executable formal semantics. It is designed to be a translation target for enriched SOS specification languages. The simplicity of eSOS and its reference Java implementation allow programmers to follow the details of an execution trace, and to step through rules using a conventional debugging framework, allowing them to understand and use SOS-based specifications to construct usable language interpreters.