LMNtal
[
Front page
|
List of pages
|
Search
|
Recent changes
|
Backup
|
Help
]
Start:
*LMNtal, a unifying language and model checking tools [#n...
LMNtal (pronounced "elemental") is a programming and mode...
-point-to-point '''links''' to represent connectivity,
-'''membranes''' to represent hierarchy and locality, and
// -rule-based multiset rewriting,
// -locality of rewrite rules,
// -dynamic migration of processes and rewrite rules, and
-graphical view of programs and computation (see Figure b...
// -uniform treatment of processes and data,
// -and so on.
Our full-fledged implementation supports ''nondeterminist...
Various unique features have been integrated into ''LaViT...
**Programming and modeling with links and membranes [#pa0...
The power of LMNtal comes from two structuring mechanisms,
-links for expressing connectivity and
-membranes for expressing hierarchy.
The figure below (click to enlarge) illustrates how hiera...
#ref(diagrams.png,left,12%,around);
// http://www.ueda.info.waseda.ac.jp/lmntal/image/diagram...
**State-space search and model checking with LMNtal and L...
Our LMNtal implementation supports both ordinary execution
(as a rule-based programming language) and state-space se...
(as a language for modeling and verification), and state-...
can further be combined with LTL model checking.
The LMNtal model checker is unique in three ways: (i) the...
Firstly, LMNtal allows extremely terse representation of ...
#ref(./hanoi5.png,20%,right,around);
Secondly, LaViT's state-space visualizer demonstrates tha...
#img(,clear);
Thirdly, LMNtal's rich data structures are efficiently ha...
// An implementation (a translator into intermediate code...
// a runtime system) running on a Java platform is availa...
// 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.
**Developers [#a4d9020a]
The language and the implementation has been developed si...
the LMNtal team, Dept. of Computer Science and Engineerin...
//**Sample Input 1
// a,a,a,a,a,a, (a,a :- {a}), ({$p,a},{$q} :- $p,$q)
//
//**Sample Input 2
//[[Download]] (append.lmn)
mailto: lmntal _AtSign_ ueda.info.waseda.ac.jp
//--started to copy contents -- [[nakajima]] &new{2004-01...
//--edited the menubar to hide titles written in EUC-JP -...
//--added edit auth -- [[nakajima]] &new{2004-02-03 (Tue)...
//--new skin installed -- [[nakajima]] &new{2004-02-13 (F...
//#comment
End:
*LMNtal, a unifying language and model checking tools [#n...
LMNtal (pronounced "elemental") is a programming and mode...
-point-to-point '''links''' to represent connectivity,
-'''membranes''' to represent hierarchy and locality, and
// -rule-based multiset rewriting,
// -locality of rewrite rules,
// -dynamic migration of processes and rewrite rules, and
-graphical view of programs and computation (see Figure b...
// -uniform treatment of processes and data,
// -and so on.
Our full-fledged implementation supports ''nondeterminist...
Various unique features have been integrated into ''LaViT...
**Programming and modeling with links and membranes [#pa0...
The power of LMNtal comes from two structuring mechanisms,
-links for expressing connectivity and
-membranes for expressing hierarchy.
The figure below (click to enlarge) illustrates how hiera...
#ref(diagrams.png,left,12%,around);
// http://www.ueda.info.waseda.ac.jp/lmntal/image/diagram...
**State-space search and model checking with LMNtal and L...
Our LMNtal implementation supports both ordinary execution
(as a rule-based programming language) and state-space se...
(as a language for modeling and verification), and state-...
can further be combined with LTL model checking.
The LMNtal model checker is unique in three ways: (i) the...
Firstly, LMNtal allows extremely terse representation of ...
#ref(./hanoi5.png,20%,right,around);
Secondly, LaViT's state-space visualizer demonstrates tha...
#img(,clear);
Thirdly, LMNtal's rich data structures are efficiently ha...
// An implementation (a translator into intermediate code...
// a runtime system) running on a Java platform is availa...
// 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.
**Developers [#a4d9020a]
The language and the implementation has been developed si...
the LMNtal team, Dept. of Computer Science and Engineerin...
//**Sample Input 1
// a,a,a,a,a,a, (a,a :- {a}), ({$p,a},{$q} :- $p,$q)
//
//**Sample Input 2
//[[Download]] (append.lmn)
mailto: lmntal _AtSign_ ueda.info.waseda.ac.jp
//--started to copy contents -- [[nakajima]] &new{2004-01...
//--edited the menubar to hide titles written in EUC-JP -...
//--added edit auth -- [[nakajima]] &new{2004-02-03 (Tue)...
//--new skin installed -- [[nakajima]] &new{2004-02-13 (F...
//#comment
Page: