LMNtal: a language model with links and membranes

Authors:
Kazunori Ueda;Norio Kato
Affiliations:
Dept. of Computer Science, Waseda University, Tokyo, Japan;Dept. of Computer Science, Waseda University, Tokyo, Japan
Venue:
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Year:
2004

Citing 11
Cited 7

The chemical abstract machine

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interaction nets

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Janus: a step towards distributed constraint programming

Proceedings of the 1990 North American conference on Logic programming
Programming by multiset transformation

Communications of the ACM
Shape types

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Graph transformation for specification and programming

Science of Computer Programming
Computing with membranes

Journal of Computer and System Sciences
Hierarchical graph transformation

Journal of Computer and System Sciences
Resource-Passing Concurrent Programming

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Bigraphical Reactive Systems

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure

Encoding Distributed Process Calculi into LMNtal

Electronic Notes in Theoretical Computer Science (ENTCS)
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting

RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems

ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
LMNtal as a hierarchical logic programming language

Theoretical Computer Science
Membrane computing as a modeling framework: cellular systems case studies

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Proximity-based federation of smart objects: liberating ubiquitous computing from stereotyped application scenarios

KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
LMNtal as a unifying declarative language: live demonstration

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The two major goals of LMNtal are (i) to unify various computational models based on multiset rewriting and (ii) to serve as the basis of a truly general-purpose language covering various platforms ranging from wide-area to embedded computation. Another important contribution of the model is that it greatly facilitates programming with dynamic data structures.