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),...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 410; H. 46; S. 4784 - 4800
1. Verfasser:	Ueda, Kazunori
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.11.2009
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!