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

    Fingerprint

    Computer programming languages
    Membranes

    ASJC Scopus subject areas

    • Software

    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.

    LMNtal : The unifying programming language based on hierarchical graph rewriting. / Inui, Atsuyuki; Kudo, Shintaro; Hara, Koji; Mizuno, Ken; Kato, Norio; Ueda, Kazunori.

    In: Computer Software, Vol. 25, No. 1, 2008, p. 124-150.

    Research output: Contribution to journalArticle

    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, vol. 25, no. 1, pp. 124-150.
    Inui, Atsuyuki ; Kudo, Shintaro ; Hara, Koji ; Mizuno, Ken ; Kato, Norio ; Ueda, Kazunori. / LMNtal : The unifying programming language based on hierarchical graph rewriting. In: Computer Software. 2008 ; Vol. 25, No. 1. pp. 124-150.
    @article{c2569d0f5b8f4d7b873e6962266c326d,
    title = "LMNtal: The unifying programming language based on hierarchical graph rewriting",
    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.",
    author = "Atsuyuki Inui and Shintaro Kudo and Koji Hara and Ken Mizuno and Norio Kato and Kazunori Ueda",
    year = "2008",
    language = "English",
    volume = "25",
    pages = "124--150",
    journal = "Computer Software",
    issn = "0289-6540",
    publisher = "Japan Society for Software Science and Technology",
    number = "1",

    }

    TY - JOUR

    T1 - LMNtal

    T2 - The unifying programming language based on hierarchical graph rewriting

    AU - Inui, Atsuyuki

    AU - Kudo, Shintaro

    AU - Hara, Koji

    AU - Mizuno, Ken

    AU - Kato, Norio

    AU - Ueda, Kazunori

    PY - 2008

    Y1 - 2008

    N2 - 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.

    AB - 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.

    UR - http://www.scopus.com/inward/record.url?scp=45549100119&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=45549100119&partnerID=8YFLogxK

    M3 - Article

    AN - SCOPUS:45549100119

    VL - 25

    SP - 124

    EP - 150

    JO - Computer Software

    JF - Computer Software

    SN - 0289-6540

    IS - 1

    ER -