Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach

Abstract : In this paper, we give a new formalism for attributed graph rewrites resting on category theory and type theory. Our main goal is to offer a single theoretical foundation that embeds the rewrite of structural parts of graphs and attribute computations which has more expressive power for attribute computations as well.
Type de document :
Communication dans un congrès
David Hutchison; Takeo Kanade; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y. Vardi; Gerhard Weikum; Tomasz Szmuc; Marcin Szpyrka; Jaroslav Zendulka; Josef Kittler; Jon M. Kleinberg; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan; Bernhard Steffen. 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. Springer, Lecture Notes in Computer Science, LNCS-7054, pp.150-163, 2012, Advances in Software Engineering Techniques. 〈10.1007/978-3-642-28038-2_12〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01527378
Contributeur : Hal Ifip <>
Soumis le : mercredi 24 mai 2017 - 12:48:51
Dernière modification le : mercredi 23 mai 2018 - 17:58:07
Document(s) archivé(s) le : lundi 28 août 2017 - 00:17:46

Fichier

978-3-642-28038-2_12_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev. Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach. David Hutchison; Takeo Kanade; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y. Vardi; Gerhard Weikum; Tomasz Szmuc; Marcin Szpyrka; Jaroslav Zendulka; Josef Kittler; Jon M. Kleinberg; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan; Bernhard Steffen. 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. Springer, Lecture Notes in Computer Science, LNCS-7054, pp.150-163, 2012, Advances in Software Engineering Techniques. 〈10.1007/978-3-642-28038-2_12〉. 〈hal-01527378〉

Partager

Métriques

Consultations de la notice

109

Téléchargements de fichiers

37