*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:

http://www.ueda.info.waseda.ac.jp/lmntal/image/diagrams-low.png 

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




//**Sample Input 1
//    a,a,a,a,a,a, (a,a :- {a}), ({$p,a},{$q} :- $p,$q) 
//
//**Sample Input 2
//[[Download]] (append.lmn)

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


//--started to copy contents -- [[nakajima]] &new{2004-01-30 (Fri) 22:13:40};
//--edited the menubar to hide titles written in EUC-JP -- [[nakajima]] &new{2004-02-01 (Sun) 21:33:05};
//--added edit auth -- [[nakajima]] &new{2004-02-03 (Tue) 17:47:44};
//--new skin installed -- [[nakajima]] &new{2004-02-13 (Fri) 17:19:23};
-Hi, nice site!<a href="http://zovirax.medlp.com/">Zovirax</a><a href="fioricet.medlp.com">fioricet</a><a href="rogaine.medlp.com">rogaine</a><a href="valtrex.medlp.com">valtrex</a><a href="prescription.medlp.com">prescription</a><a href="prozac.medlp.com">prozac</a><a href="alprazolam.medlp.com">alprazolam</a><a href="http://phentermine1.za.pl">phentermine</a><a href="paxil.medlp.com">paxil</a><a href="http://adipex.medlp.com">Adipex</a><a href="http://xanax.medlp.com/">xanax</a><a href="http://sildenafil.medlp.com>sildenafil</a><a href="tramadol.medlp.com">tramadol</a><a href="http://gymboree.medlp.com/">gymboree</a><a href="prevacid.medlp.com">prevacid</a><a href="http://zyrtec.medlp.com/">Zyrtec</a><a href="http://viagra.medlp.com">Viagra</a><a href="http://ambien.medlp.com">http://ambien</a><a href="holdem.medlp.com">no limit texas holdem</a><a href="prilosec.medlp.com">prilosec</a><a href="vaniqa.medlp.com">vaniqa</a><a href="http://didrex.medlp.com">Didrex</a><a href="http://filenes.medlp.com/">filenes</a><a href="bvalium.medlp.com">buying valium online</a><a href="pharmacies.medlp.com">order from reliable foreign pharmacies</a><a href="http://zyban.medlp.com/">zyban</a><a href="http://sibutramine.medlp.com/">sibutramine</a><a href="renova.medlp.com">renova</a><a href="medicapharma.medlp.com">medicapharma  online pharmacy for all</a><a href="ultram.medlp.com">ultram</a><a href="http://valium.medlp.com/">valium</a><a href="pharmacy.medlp.com">usa pharmacy - online scripts - no fees</a> -- [[Nike]] &new{2006-05-14 (Sun) 00:33:43};

#comment

Front page List of pages Search Recent changes Backup   Help   RSS of recent changes