Olivier Namet

  1. Graph Creation, Visualisation and Transformation.

    Authors: Maribel Fernández, Olivier Namet
    Subjects: Logic in Computer Science
    Abstract

    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.

Syndicate content