LMNtal as a hierarchical logic programming language

LMNtal (pronounced “ elemental”) is a simple language model based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. LMNtal is an outcome of the attempt to unify constraint-based concurrency and Constraint Handling Rules (CHR),...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 410; číslo 46; s. 4784 - 4800
Hlavní autor:	Ueda, Kazunori
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.11.2009
Témata:	Concurrent constraint programming Concurrent logic programming Hierarchical graph rewriting LMNtal LMNtal Concurrent constraint programming Concurrent logic programming Hierarchical graph rewriting
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!