Putting Scalable and Unifying Programming Language Model LMNtal into Practical Use

将可扩展且统一的编程语言模型 LMNtal 投入实际使用

基本信息

批准号：
16300009
负责人：
UEDA Kazunori
金额：
$ 5.31万
依托单位：
Waseda University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2004
资助国家：
日本
起止时间：
2004 至 2006
项目状态：
已结题

项目摘要

LMNtal is a language model developed by the grantees to unify various computational models featuring multiset rewriting, concurrency and mobility in a concise setting. The purpose of the project has been to grow LMNtal from a hierarchical graph rewriting model to a practical programming language by designing necessary language constructs, establishing implementation techniques, building a full-fledged LMNtal system, and making it widely available.The main results of the project are as follows :(a) Establishing LMNtal as a programming language-we have studied and designed how to incorporate basic datatypes and operations, a module system, and foreign-language interface into hierarchical graph rewriting, and built a diverse range of libraries using them.(b) Establishing implementation techniques and building a full-fledged system-we have built a compiler from LMNtal into dedicated intermediate code and a runtime system that runs the intermediate code. In particular, we have designed and implemented asynchronous execution scheme that uses multiple tasks, an optimizer for individual tasks, and a translator from intermediate code into Java. We have also designed and implemented a visualizer featuring automatic graph drawing.(c) Verifying the expressive power-in order to see if LMNtal is powerful enough to express fundamental concepts in computation, we have encoded diverse computational models including the pi-calculus, the ambient calculus, the lambda calculus and CHR(Constraint Handling Rules), and ran them on our LMNtal system.The LMNtal system we have developed consists of about 50,000 lines of code, and is available via http://www.ueda.info.waseda.ac.jp/lmtal/.

LMNTAL是受赠人开发的语言模型，旨在统一各种计算模型，这些计算模型在简洁的环境中以多种重写，并发和移动性为特征。该项目的目的是通过设计必要的语言构造，建立实施技术，建立成熟的LMNTAL系统并广泛可用的结果，从层次结构的图形重写模型到实用的编程语言，并使其主要可用。外语界面重写分层图，并使用它们构建了各种各样的库。（b）建立实现技术并构建了一个完整的系统 - 我们已经将LMNTAL的编译器从LMNTAL构建为专用的中间代码和一个运行中间代码的运行时系统。特别是，我们设计了和实现异步执行方案，该方案使用多个任务，一个用于单个任务的优化器以及从中间代码转换为Java的转换器。我们还设计并实现了一个具有自动图形图的可视化器。（c）验证表达能力的命令，以查看LMNTAL是否足够强大，可以表达计算中的基本概念，我们编码了多样化的计算模型，包括PI-Calculus，包括环境计算，环境计算，Lambda Colculus and Chr（Chrenge Chrenting Consitiest）以及lmnthers ne wer In lmnts ne In lmnts ne lmnts ne ne lmnts ne your lmnts。大约50,000行代码，可通过http://www.ueda.info.waseda.ac.jp/lmtal/获得。