Computer Science – Logic in Computer Science
Scientific paper
2010-03-23
EPTCS 21, 2010, pp. 1-11
Computer Science
Logic in Computer Science
Scientific paper
10.4204/EPTCS.21.1
We describe a tool to create, edit, visualise and compute with interaction nets - a form of graph rewriting systems. The editor, called GraphPaper, allows users to create and edit graphs and their transformation rules using an intuitive user interface. The editor uses the functionalities of the TULIP system, which gives us access to a wealth of visualisation algorithms. Interaction nets are not only a formalism for the specification of graphs, but also a rewrite-based computation model. We discuss graph rewriting strategies and a language to express them in order to perform strategic interaction net rewriting.
Fernández Maribel
Namet Olivier
No associations
LandOfFree
Graph Creation, Visualisation and Transformation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Graph Creation, Visualisation and Transformation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Graph Creation, Visualisation and Transformation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-210993