A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs
复制标题
语言设计师的工作台：语言设计实现和验证的一站式商店
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Gabriël D. P. Konat
中科院分区：
文献类型：
--
作者：
E. Visser;Guido Wachsmuth;A. Tolmach;P. Néron;V. Vergu;Augusto Passalaqua;Gabriël D. P. Konat
语言设计的实现需要多个文物，这些文物会冗余地编码相同的信息。这需要为语言实施者提供巨大的努力，并且通常会导致语言定义中的错误迟到。在本文中，我们提出了概念验证语言设计师的工作台，该工作台支持单个来源的IDE，口译员和验证基础架构的生成。这构成了通往完全自动化语言实现和验证系统的系统的第一个里程碑。
The realization of a language design requires multiple artifacts that redundantly encode the same information. This entails significant effort for language implementors, and often results in late detection of errors in language definitions. In this paper we present a proof-of-concept language designer's workbench that supports generation of IDEs, interpreters, and verification infrastructure from a single source. This constitutes a first milestone on the way to a system that fully automates language implementation and verification.
DOI：
10.1145/2577080.2577099
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Churchill M
通讯作者：
Churchill M