Implementation and Application of Functional Languages
Implementation and Application of Functional Languages
复制标题
函数式语言的实现与应用
DOI：
10.1007/978-3-642-24452-0_8
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Giorgidze G
中科院分区：
文献类型：
--
作者：
Giorgidze G
在本文中，我们首次研究了用于物理系统非因果建模和模拟的功能混合建模语言的实现。特别是，我们提出了一种处理连接构造的简单方法：一种用于组合大多数非因果建模语言中以某种形式存在的模型片段的工具。我们的实现是作为嵌入 Haskell 中的特定领域语言实现的。嵌入方法采用准引用，从而证明了该方法对于不适合以更传统方式嵌入的语言的有效性。我们的实现可以在线获取，因此是功能混合建模语言的第一个公开可用的原型实现。
In this paper we present the first investigation into the implementation of a Functional Hybrid Modelling language for non-causal modelling and simulation of physical systems. In particular, we present a simple way to handle connect constructs: a facility for composing model fragments present in some form in most non-causal modelling languages. Our implementation is realised as a domain-specific language embedded in Haskell. The method of embedding employs quasiquoting, thus demonstrating the effectiveness of this approach for languages that are not suitable for embedding in more traditional ways. Our implementation is available on-line, and thus the first publicly available prototype implementation of a Functional Hybrid Modelling language.
登录
查看更多内容
使用 wrangler 进行重构，更新：数据和流程重构，以及与 eclipse 集成
DOI：
10.1145/1411273.1411283
发表时间：
2008
期刊：
2013 17th European Conference on Software Maintenance and Reengineering
影响因子：
--
作者：
Huiqing Li;S. Thompson;George Orösz;M. Tóth
通讯作者：
M. Tóth
影响因子：
2.5
作者：
P. Sestoft
通讯作者：
P. Sestoft
类型敏感的控制流分析
DOI：
10.1145/1159876.1159888
发表时间：
2006
期刊：
Higher-Order and Symbolic Computation
影响因子：
--
作者：
John H. Reppy
通讯作者：
John H. Reppy
DOI：
10.1145/800055.802044
发表时间：
1984
期刊：
Higher-Order and Symbolic Computation
影响因子：
--
作者：
A. Pettorossi
通讯作者：
A. Pettorossi
DOI：
--
发表时间：
1986
期刊：
影响因子：
--
作者：
David A. Schmidt
通讯作者：
David A. Schmidt