权益分类	功能权益	普通用户	{{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演算和约束处理规则（Constraint Handling Rules），并在我们的LMNtal系统上运行它们。我们开发的LMNtal系统由大约50，000行代码组成，可以通过http://www.ueda.info.waseda.ac.jp/lmtal/获得。