LMNtal as a Unifying Declarative Language: Live Demonstration

  • Kazunori Ueda
  • Norio Kato
  • Koji Hara
  • Ken Mizuno
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4079)


LMNtal (pronounced “elemental”) is a simple language model based on hierarchical graph rewriting. It features and supports

– rule-based multiset rewriting,

– connectivity of nodes represented using logical variables,

– hierarchy of nodes represented using membranes,

– locality of rewrite rules,

– dynamic migration of processes (= hierarchical graphs) and rewrite rules,

– uniform treatment of processes and data,

– graphical view of computation,

and so on. Figure 1 shows examples of computation that can be encoded into LMNtal straightforwardly.


Sequent Calculus Graphical View Lambda Calculus Live Demonstration Dynamic Migration 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Ueda, K., Kato, N.: LMNtal: A Language Model with Links and Membranes. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 110–125. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Kazunori Ueda
    • 1
  • Norio Kato
    • 2
  • Koji Hara
    • 1
  • Ken Mizuno
    • 1
  1. 1.Dept. of Computer ScienceWaseda UniversityTokyoJapan
  2. 2.Center for Verification and Semantics, AISTOsakaJapan

Personalised recommendations