LMNtal: The Unifying Programming Language Based on Hierarchical Graph Rewriting
-
- INUI Atsuyuki
- Dept. of Computer Science, Waseda University
-
- KUDO Shintaro
- Dept. of Computer Science, Waseda University
-
- HARA Koji
- Dept. of Computer Science, Waseda University
-
- MIZUNO Ken
- Dept. of Computer Science, Waseda University
-
- KATO Norio
- Research Center for Verification and Semantics, AIST
-
- UEDA Kazunori
- Dept. of Computer Science and Engineering, Waseda University
Bibliographic Information
- Other Title
-
- 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal
Description
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.
Journal
-
- Computer Software
-
Computer Software 25 (1), 124-150, 2008
Japan Society for Software Science and Technology
- Tweet
Details 詳細情報について
-
- CRID
- 1390282679713090304
-
- NII Article ID
- 130004549094
-
- ISSN
- 02896540
-
- Data Source
-
- JaLC
- CiNii Articles
-
- Abstract License Flag
- Disallowed
