階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal
書誌事項
- タイトル別名
-
- LMNtal: The Unifying Programming Language Based on Hierarchical Graph Rewriting
説明
LMNtal is a simple language model based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. The major goals of LMNtal have been to unify various computational models addressing multiset rewriting, concurrency and mobility, and at the same time to provide a practical programming language based on hierarchical graph rewriting and demonstrate its versatility. The purpose of this paper is to present the aspects of LMNtal as a full-fledged programming language and demonstrate its expressive power using a number of examples. We have designed important language features such as arithmetics, rule application control, modularity and foreign-language interface and integrated them into the hierarchical graph rewriting model. To demonstrate the expressive power of the language, we have successfully encoded diverse related computational models including the λ-calculous, the π-calculus, the ambient calculus and CHR and run them on our LMNtal system.
収録刊行物
-
- コンピュータ ソフトウェア
-
コンピュータ ソフトウェア 25 (1), 124-150, 2008
日本ソフトウェア科学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282679713090304
-
- NII論文ID
- 130004549094
-
- ISSN
- 02896540
-
- データソース種別
-
- JaLC
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可
