Vol. 73 (2016): Graph Computation Models - Selected Revised Papers from GCM 2015

DOI: https://doi.org/10.14279/tuj.eceasst.73

Published: 2016-04-18

Preface

Preface

Detlef Plump
- PDF

Articles

Proving Correctness of Graph Programs Relative to Recursively Nested Conditions

Nils Erik Flick
- PDF
Composition of M,N-adhesive Categories with Application to Attribution of Graphs

Christoph Peuser, Annegret Habel
- PDF
Conditions, constraints and contracts: On the use of annotations for policy modeling

Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce
- PDF
20 Years of Triple Graph Grammars: A Roadmap for Future Research

Anthony Anjorin, Erhan Leblebici, Andy Schürr
- PDF
On Single-Pushout Rewriting of Partial Algebras

Michael Löwe, Marius Tempelmeier
- PDF
Parallel Evaluation of Interaction Nets: Case Studies and Experiments

Ian Mackie, Shinya Sato
- PDF
Cotransforming Grammars with Shared Packed Parse Forests

Vadim Zaytsev
- PDF