Rewriting nested graphs, through term graphs

Roberto Bruni; Andrea Corradini; Fabio Gadducci; Alberto Lluch Lafuente; Ugo Montanari

Rewriting nested graphs, through term graphs

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Ugo Montanari

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

We present an algebra for graphs with nesting and restriction features as a handy linear syntax for denoting a class of hierarchical graphs. We discuss how such graphs can be encoded into term graphs, showing that through this translation we can borrow definitions and results from the established theory of term graph rewriting.

Original language	English
Title of host publication	Proceedings of WADT 2010, 20th International Workshop on Algebraic Development Techniques
Publication date	2010
Pages	54-56
Publication status	Published - 2010
Externally published	Yes
Event	20th International Workshop on Algebraic Development Techniques - Schloss Etelsen, Germany Duration: 1 Jul 2010 → 4 Jul 2010 Conference number: 20

Conference

Conference	20th International Workshop on Algebraic Development Techniques
Number	20
Country/Territory	Germany
City	Schloss Etelsen
Period	01/07/2010 → 04/07/2010

OpenUrl availability

Full text

Cite this

@inproceedings{b494105bc9434e87ab742e3d5a7003de,

title = "Rewriting nested graphs, through term graphs",

abstract = "We present an algebra for graphs with nesting and restriction features as a handy linear syntax for denoting a class of hierarchical graphs. We discuss how such graphs can be encoded into term graphs, showing that through this translation we can borrow definitions and results from the established theory of term graph rewriting.",

author = "Roberto Bruni and Andrea Corradini and Fabio Gadducci and \{Lluch Lafuente\}, Alberto and Ugo Montanari",

year = "2010",

language = "English",

pages = "54--56",

booktitle = "Proceedings of WADT 2010, 20th International Workshop on Algebraic Development Techniques",

note = "20th International Workshop on Algebraic Development Techniques, WADT 2010 ; Conference date: 01-07-2010 Through 04-07-2010",

}

TY - GEN

T1 - Rewriting nested graphs, through term graphs

AU - Bruni, Roberto

AU - Corradini, Andrea

AU - Gadducci, Fabio

AU - Lluch Lafuente, Alberto

AU - Montanari, Ugo

N1 - Conference code: 20

PY - 2010

Y1 - 2010

N2 - We present an algebra for graphs with nesting and restriction features as a handy linear syntax for denoting a class of hierarchical graphs. We discuss how such graphs can be encoded into term graphs, showing that through this translation we can borrow definitions and results from the established theory of term graph rewriting.

AB - We present an algebra for graphs with nesting and restriction features as a handy linear syntax for denoting a class of hierarchical graphs. We discuss how such graphs can be encoded into term graphs, showing that through this translation we can borrow definitions and results from the established theory of term graph rewriting.

M3 - Article in proceedings

SP - 54

EP - 56

BT - Proceedings of WADT 2010, 20th International Workshop on Algebraic Development Techniques

T2 - 20th International Workshop on Algebraic Development Techniques

Y2 - 1 July 2010 through 4 July 2010

ER -

Rewriting nested graphs, through term graphs

Abstract

Conference

OpenUrl availability

Fingerprint

Cite this