面向用户的领域特定语言的指称语义
编程语言
2013-09-23 v1 软件工程
摘要
本文遵循 David Schmidt 提出的语言开发方法论，呈现了一种名为 Pantagruel 的领域特定语言的形式化定义。该语言专用于编排网络实体的应用程序编程，目标用户是建筑管理和辅助生活等领域的专业开发人员，他们希望利用网络实体来支持日常任务。Pantagruel 具备多项功能，以满足实体编排领域的要求。此外，Pantagruel 提供了高级构造，使其对不一定具备编程技能的开发人员也易于上手。它已被非程序员用于开发多种应用程序。我们展示了 Pantagruel 的面向用户编程概念如何在其指称语义中表达。这一形式化定义已被用于推导 Pantagruel 的解释器，并为推理 Pantagruel 程序提供了基础。
引用
@article{arxiv.1309.5141,
title = {Denotational Semantics of A User-Oriented, Domain-Specific Language},
author = {Julien Mercadal and Zoé Drey and Charles Consel},
journal= {arXiv preprint arXiv:1309.5141},
year = {2013}
}
备注
In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557