Reusable components of semantic specifications
Reusable components of semantic specifications
复制标题
语义规范的可重用组件
DOI：
10.1145/2577080.2577099
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Churchill M
中科院分区：
文献类型：
--
作者：
Churchill M
编程语言的语义规范通常具有较差的模块性。这阻碍了在指定不同的语言时重用一种语言的部分语义--即使两种语言有许多共同的构造--并且语言的进化可能需要对其语义进行重大的重新表述。这样的缺点阻碍了语言开发人员使用正式的语义来记录他们的设计。在PlanCompS项目中，我们开发了一种基于组件的语义方法。在这里，我们解释其模块化方面，并提出了一个说明性的案例研究。我们的方法提供了良好的模块化，便于重用，并支持共同进化的语言和它们的正式语义。它在特定领域语言和语言驱动的软件开发方面特别有用。
Semantic specifications of programming languages typically have poor modularity. This hinders reuse of parts of the semantics of one language when specifying a different language -- even when the two languages have many constructs in common -- and evolution of a language may require major reformulation of its semantics. Such drawbacks have discouraged language developers from using formal semantics to document their designs.In the PlanCompS project, we have developed a component-based approach to semantics. Here, we explain its modularity aspects, and present an illustrative case study. Our approach provides good modularity, facilitates reuse, and supports co-evolution of languages and their formal semantics. It could be particularly useful in connection with domain-specific languages and language-driven software development.
登录
查看更多内容
编程语言的 VDM 语义：组合子和 monad
影响因子：
1
作者：
Peter D. Mosses
通讯作者：
Peter D. Mosses
TinkerType：一种用于玩弄正式系统的语言
影响因子：
1.1
作者：
Michael Y. Levin;B. Pierce
通讯作者：
B. Pierce
影响因子：
1.1
作者：
E. Börger;Nicu G. Fruja;V. Gervasi;R. Stärk
通讯作者：
R. Stärk
Spoofax 语言工作台
DOI：
--
发表时间：
2010
期刊：
SPLASH/OOPSLA Companion
影响因子：
--
作者：
L. Kats;E. Visser
通讯作者：
E. Visser
编程语言的基于组件的描述
DOI：
--
发表时间：
2008
期刊：
BCS International Academic Conference
影响因子：
--
作者：
Peter D. Mosses
通讯作者：
Peter D. Mosses