TERMGRAPH - Computing with Terms and Graphs

The advantage of computing with graphs rather than terms is that common subexpressions can be shared, improving the efficiency of computations in space and time. Sharing is ubiquitous in implementations of programming languages: many functional, logic, object-oriented and concurrent calculi are implemented using term graphs. Research in term and graph rewriting ranges from theoretical questions to practical implementation issues. Different research areas include: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the use of graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the semantics and analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as a model of biological or chemical abstract machines, and automated reasoning and symbolic computation systems working on shared structures.

The aim of this series of workshops is to bring together researchers working in these different domains and to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in term graph rewriting.

Steering Committee

  • Andrea Corradini
  • Maribel Fernández
  • Ian Mackie
  • Detlef Plump

    • Current event

    The next event will be TERMGRAPH 2013. 7th International Workshop on Computing with Terms and Graphs. Rome, Italy, March 23th, 2013. Part of ETAPS 2013.

    Past events

    Publications

    Proceedings

  • TERMGRAPH 2011: EPTCS 48
  • TERMGRAPH 2009: ENTCS, Volume 253, Issue 4
  • TERMGRAPH 2007: ENTCS, Volume 203, Issue 1
  • TERMGRAPH 2006: ENTCS, Volume 176, Issue 1
  • TERMGRAPH 2004: ENTCS Volume 127, Issue 5
  • TERMGRAPH 2002: ENTCS Volume 72, Issue 1

    • Journal Special issues

    Materials

    Ian Mackie