Putting Scalable and Unifying Programming Language Model LMNtal into Practical Use

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

基本信息

  • 批准号:
    16300009
  • 负责人:
  • 金额:
    $ 5.31万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    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/获得。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
将纯 Lambda 演算编码为分层图重写
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ueda;K.
  • 通讯作者:
    K.
0CamlによるLMNtal実行時処理系0CaMNtalの実装
使用0Caml实现LMNtal运行时处理系统0CaMNtal
  • DOI:
  • 发表时间:
    2006
  • 期刊:
  • 影响因子:
    0
  • 作者:
    工藤 晋太郎;乾敦 行;櫻井 健;上田 和紀
  • 通讯作者:
    上田 和紀
Encoding Distributed Process Calculi into LMNtaI
将分布式过程计算编码为 LMNtaI
Logic Programming and Concurrency:a Personal Perspective
逻辑编程和并发:个人观点
Hierarchical graph rewriting as a unifying model of concurrency
分层图重写作为统一的并发模型
  • DOI:
  • 发表时间:
    2006
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ueda;K.
  • 通讯作者:
    K.
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

UEDA Kazunori其他文献

UEDA Kazunori的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('UEDA Kazunori', 18)}}的其他基金

Research of peer-to-peer network application based on multi-overlay networks
基于多重覆盖网络的点对点网络应用研究
  • 批准号:
    16K00137
  • 财政年份:
    2016
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Evolutionary development of a model checker compiler using verification technology and non-standard type systems
使用验证技术和非标准类型系统的模型检查器编译器的进化开发
  • 批准号:
    24650016
  • 财政年份:
    2012
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
Implementations of high-level modeling languages that integrate high-performance verifiers
集成高性能验证器的高级建模语言的实现
  • 批准号:
    23300011
  • 财政年份:
    2011
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
High-level hybrid constraint modeling language and its reliable implementation
高级混合约束建模语言及其可靠实现
  • 批准号:
    20300013
  • 财政年份:
    2008
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Wide-Area and Distributed Computation Paradigm Based on Concurrent Logic Programming
基于并发逻辑编程的广域分布式计算范式
  • 批准号:
    11680370
  • 财政年份:
    1999
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Applications of Strong Moding in Concurrent Logic Programming
强模态在并发逻辑编程中的应用
  • 批准号:
    07680371
  • 财政年份:
    1995
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)

相似海外基金

Conference: Midwest Programming Languages Summits 2023, 2024, 2025
会议:2023、2024、2025 年中西部编程语言峰会
  • 批准号:
    2330888
  • 财政年份:
    2023
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Standard Grant
REU Site: Research Experience for undergraduates in Programming Languages (REPL)
REU 网站:编程语言本科生研究经验 (REPL)
  • 批准号:
    2244494
  • 财政年份:
    2023
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Standard Grant
Travel: Student Travel for the Programming Languages Mentoring Workshop (PLMW) at the International Conference on Functional Programming (ICFP)
旅行:参加国际函数式编程会议 (ICFP) 编程语言指导研讨会 (PLMW) 的学生旅行
  • 批准号:
    2328059
  • 财政年份:
    2023
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLMW@PLDI), 2023-2025
NSF 学生旅费补助金,用于 ACM SIGPLAN 编程语言设计与实现会议 (PLMW@PLDI) 编程语言指导研讨会,2023-2025 年
  • 批准号:
    2310964
  • 财政年份:
    2023
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2023 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
旅行:2023 年 ACM 编程语言和操作系统架构支持国际会议 (ASPLOS) 的 NSF 学生旅行补助金
  • 批准号:
    2311257
  • 财政年份:
    2023
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Standard Grant
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic
旅行:2023 年俄勒冈编程语言暑期学校:类型、语义和逻辑
  • 批准号:
    2329771
  • 财政年份:
    2023
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Standard Grant
Theory and Application for Robust and High-Performance Systems Programming Languages
鲁棒高性能系统编程语言的理论与应用
  • 批准号:
    22KJ0561
  • 财政年份:
    2023
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Travel: NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Symposium on Principles of Programming Languages, 2024-2026
旅行:2024-2026 年 ACM SIGPLAN 编程语言原理研讨会编程语言指导研讨会的 NSF 学生旅行补助金
  • 批准号:
    2334703
  • 财政年份:
    2023
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2024 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
旅行:2024 年 ACM 编程语言和操作系统架构支持国际会议 (ASPLOS) 的 NSF 学生旅行补助金
  • 批准号:
    2327889
  • 财政年份:
    2023
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Standard Grant
Transparent Compression for General-Purpose Programming Languages
通用编程语言的透明压缩
  • 批准号:
    EP/W001012/1
  • 财政年份:
    2022
  • 资助金额:
    $ 5.31万
  • 项目类别:
    Research Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了