Backup of LMNtal (No. 5)

[ Front page | List of pages | Search | Recent changes | Backup | Help ]

• List of Backups
• View the diff.
• View the diff current.
• View the source.
• Go to LMNtal.
  • 1 (2006-05-17 (Wed) 04:37:22)
  • 2 (2006-05-21 (Sun) 16:50:11)
  • 3 (2006-05-26 (Fri) 20:18:59)
  • 4 (2006-05-29 (Mon) 02:26:53)
  • 5 (2006-12-14 (Thu) 15:32:30)
  • 6 (2009-07-09 (Thu) 07:24:52)
  • 7 (2009-11-30 (Mon) 06:31:30)
  • 8 (2010-05-28 (Fri) 14:03:05)
  • 9 (2010-05-28 (Fri) 14:03:05)
  • 10 (2010-06-10 (Thu) 06:46:29)
  • 11 (2010-06-10 (Thu) 06:46:29)
  • 12 (2010-06-17 (Thu) 03:27:53)
  • 13 (2010-11-26 (Fri) 02:24:49)
  • 14 (2011-06-12 (Sun) 03:32:30)
  • 15 (2012-05-10 (Thu) 03:39:00)
  • 16 (2012-05-10 (Thu) 15:54:21)
  • 17 (2014-06-05 (Thu) 01:22:55)
  • 18 (2015-05-20 (Wed) 12:24:41)
  • 19 (2017-03-02 (Thu) 03:32:49)
  • 20 (2017-03-02 (Thu) 04:53:03)

---

LMNtal

LMNtal (pronounced "elemental") is a concurrent language based on hierarchical graph rewriting. It features:

• rule-based multiset rewriting,
• connectivity represented using 1-to-1 links,
• hierarchy represented using membranes,
• locality of rewrite rules,
• dynamic process/rule migration,
• graphical view of programs and computation,
• uniform treatment of processes and data,
• and so on.

An implementation (a translator into intermediate code and a runtime system) running on a Java platform is available. It features

• arithmetics,
• modules,
• nondeterministic execution (exhaustive search),
• foreign-language interface to Java,
• visualizer,
• read-eval-print loop,
• optimizer,
• redex/rule selection strategies, and
• libraries.

The following figures illustrate some diagrams that can be represented and handled nicely in LMNtal:

The language and the implemenation has been developed since 2002 by the LMNtal team, Dept. of Computer Science, Waseda University.

mailto: lang _AtSign_ ueda.info.waseda.ac.jp

   

Modified by uedalab LMNtal group

PukiWiki 1.5.1 © 2001-2016 PukiWiki Development Team
Powered by PHP 7.4.3-4ubuntu2.20

HTML convert time to 0.010 sec.