Gwendolen Semantics: 2017
Gwendolen Semantics: 2017
复制标题
格温多伦语义：2017
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Louise Dennis
中科院分区：
文献类型：
--
作者：
Louise Dennis
GWENDOLEN的操作语义在[1]中给出。然而，从那时起，语言已经被修改了几次。本技术报告更新了该语义，以呈现该语言的当前操作语义。应该注意的是，GWENDOLEN发行版附带了大量的教程，详细介绍了语言语法，其构造背后的动机，并提供了许多该语言的程序示例。因此，本技术报告专门关注底层实现语义的技术细节。
An operational semantics for GWENDOLEN was presented in [1]. However the language has been amended several times since then. This technical report updates that semantics to present the current operational semantics of the language. It should be noted that the GWENDOLEN distribution comes with extensive tutorials detailing the language syntax, the motivation behind its constructs and providing many examples of programs in the language. This technical report therefore focuses exclusively on the technical details of the semantics of the underlying implementation.