Tool support for component-based semantics
Tool support for component-based semantics
复制标题
基于组件的语义的工具支持
DOI：
10.1145/2892664.2893464
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Binsbergen L
中科院分区：
文献类型：
--
作者：
Binsbergen L
编程语言的开发人员需要记录其预期的语法和语义，并在语言发展时更新文档。它们使用形式文法来定义上下文无关语法，但通常只给出非正式的语义描述。使用形式语义可以大大提高语言文档的一致性和完整性，支持快速原型设计，并允许经验验证。当扩展到更大的语言定义时，语义的模块化对于实用性是必不可少的。基于一致性的语义将模块化提升到了最高可能的水平。在这种方法中，语言的语义是由将其构造（组合地）转换为所谓的基本构造或“funcons”的组合的方程定义的。每个funcon的定义都是一个小的、高度可重用的组件。PLanCompS项目定义了一个大量的funcons库，并在几个案例研究中展示了它们的可重用性。我们已经设计了一个元语言CBS基于组件的语义，和一个IDE，以支持开发，快速原型，并在CBS定义的验证。在介绍和激励CBS之后，我们演示了如何使用IDE来浏览和编辑玩具语言的CBS定义，生成该语言的原型实现，以及解析和运行程序。
The developers of a programming language need to document its intended syntax and semantics, and to update the documentation when the language evolves. They use formal grammars to define context-free syntax, but usually give only an informal description of semantics. Use of formal semantics could greatly increase the consistency and completeness of language documentation, support rapid prototyping, and allow empirical validation. Modularity of semantics is essential for practicality when scaling up to definitions of larger languages. Component-based semantics takes modularity to the highest possible level. In this approach, the semantics of a language is defined by equations translating its constructs (compositionally) to combinations of so-called fundamental constructs, or `funcons'. The definition of each funcon is a small, highly reusable component. The PLanCompS project has defined a substantial library of funcons, and shown their reusability in several case studies. We have designed a meta-language called CBS for component-based semantics, and an IDE to support development, rapid prototyping, and validation of definitions in CBS. After introducing and motivating CBS, we demonstrate how the IDE can be used to browse and edit the CBS definition of a toy language, to generate a prototype implementation of the language, and to parse and run programs.
登录
查看更多内容
FunKons：K 中基于组件的语义
DOI：
--
发表时间：
2014
期刊：
Workshop on Rewriting Logic and Its Applications
影响因子：
--
作者：
Peter D. Mosses;Ferdinand Vesely
通讯作者：
Ferdinand Vesely
DynSem：动态语义规范的 DSL
DOI：
--
发表时间：
2015
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
V. Vergu;P. Néron;E. Visser
通讯作者：
E. Visser
用于计算和值的模块化互模拟理论
DOI：
--
发表时间：
2013
期刊：
Foundations of Software Science and Computation Structure
影响因子：
--
作者：
Martin Churchill;Peter D. Mosses
通讯作者：
Peter D. Mosses
模块化结构操作语义
DOI：
--
发表时间：
2004
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
Peter D. Mosses
通讯作者：
Peter D. Mosses
DOI：
--
发表时间：
2009
期刊：
SOS@ICALP
影响因子：
--
作者：
Peter D. Mosses;M. New
通讯作者：
M. New