权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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系统并使其广泛可用，将LMNtal从分层图重写模型发展为实用的编程语言。项目的主要成果如下：(a)将LMNtal作为一种编程语言——我们研究和设计了如何将基本数据类型和操作、模块系统和外语接口纳入分层图重写，并使用它们构建了各种库。(b)建立实现技术和建立一个成熟的系统——我们从LMNtal建立了一个编译器到专用的中间代码和一个运行中间代码的运行时系统。特别是，我们设计并实现了使用多个任务的异步执行方案、单个任务的优化器以及中间代码到Java的转换器。我们还设计并实现了一个具有自动绘图功能的可视化工具。(c)验证表达能力——为了看看LMNtal是否足够强大，能够表达计算中的基本概念，我们编码了各种计算模型，包括pi微积分、环境微积分、lambda微积分和CHR（约束处理规则），并在我们的LMNtal系统上运行它们。我们开发的LMNtal系统由大约50,000行代码组成，可以通过http://www.ueda.info.waseda.ac.jp/lmtal/获得。