LMNtal: The unifying programming language based on hierarchical graph rewriting

Atsuyuki Inui, Shintaro Kudo, Koji Hara, Ken Mizuno, Norio Kato, Kazunori Ueda

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)124-150
Number of pages27
JournalComputer Software
Volume25
Issue number1
Publication statusPublished - 2008 Jun 26

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'LMNtal: The unifying programming language based on hierarchical graph rewriting'. Together they form a unique fingerprint.

  • Cite this

    Inui, A., Kudo, S., Hara, K., Mizuno, K., Kato, N., & Ueda, K. (2008). LMNtal: The unifying programming language based on hierarchical graph rewriting. Computer Software, 25(1), 124-150.