From imperative to rule-based graph programs

DOI10.1016/J.JLAMP.2016.12.001MaRDI QIDQ516038zbMATH OpenOpenAlexFDO

Authors Detlef Plump

Publication date 20 March 2017

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://eprints.whiterose.ac.uk/110721/1/1_s2.0_S2352220816301675_main.pdf

zbMATH Keywords

computational completenessgraph transformationGP 2graph programsrandom access machinesrule-based programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• The Graph Programming Language GP
• scientific article; zbMATH DE number 1701353
• Graph Transformations
• Reasoning about graph programs
• Programmed graph transformations and graph transformation units in GRACE

Cites work

• scientific article; zbMATH DE number 1701353 (Why is no real title available?)
• scientific article; zbMATH DE number 3987247 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• A structural approach to operational semantics
• A system of graph grammars which generates all recursively enumerable sets of labelled graphs
• Flow diagrams, turing machines and languages with only two formation rules
• Fundamentals of algebraic graph transformation
• Hoare-style verification of graph programs
• Introduction to algorithms.
• Parametrized complexity theory.
• The Graph Programming Language GP
• Time bounded random access machines
• Visual modelling of complex systems: towards an abstract machine for PORGY

Cited in

(11)

• Verifying graph programs with monadic second-order logic
• Evolving graphs with semantic neutral drift
• The Graph Programming Language GP
• scientific article; zbMATH DE number 1701353 (Why is no real title available?)
• A small-step operational semantics for GP 2
• scientific article; zbMATH DE number 1504829 (Why is no real title available?)
• scientific article; zbMATH DE number 7649899 (Why is no real title available?)
• Time and space measures for a complete graph computation model
• Graph Transformations
• Parallel rewriting of attributed graphs
• scientific article; zbMATH DE number 7456056 (Why is no real title available?)

This page was built for publication: From imperative to rule-based graph programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q516038)