From Imperative to Rule-based Graph Programs

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)154-173
Number of pages20
JournalJournal of Logical and Algebraic Methods in Programming
Volume88
Early online date13 Jan 2017
DOIs
Publication statusPublished - Mar 2017

Bibliographical note

© 2017 Elsevier B.V. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Keywords

  • Graph Programs; GP 2; Rule-based Programming; Computational Completeness; Random Access Machines; Graph Transformation

Cite this