Efficient graph rewriting and its implementation

MaRDI QIDQ1894781zbMATH OpenFDO

Authors Heiko Dörr

Publication date 24 July 1995

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 234035
• scientific article; zbMATH DE number 4182847
• scientific article; zbMATH DE number 1088027
• Attributed graph rewriting system
• Implementing conditional term rewriting by graph rewriting

Cited in

(18)

• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Extending graph rewriting with copying
• Efficient Output-Sensitive Construction of Reeb Graphs
• scientific article; zbMATH DE number 177433 (Why is no real title available?)
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• Programmed graph transformations and graph transformation units in GRACE
• Finding a forest in a tree
• scientific article; zbMATH DE number 7649899 (Why is no real title available?)
• Attributed graph rewriting system
• On edge addition rewrite systems and their relevance to program analysis
• scientific article; zbMATH DE number 4080885 (Why is no real title available?)
• Rule-based graph programs matching the time complexity of imperative algorithms
• The Glasgow subgraph solver: using constraint programming to tackle hard subgraph isomorphism problem variants
• Needed computations shortcutting needed steps
• scientific article; zbMATH DE number 4160147 (Why is no real title available?)
• Lessons Learned from Building a Graph Transformation System
• Linear-time graph programs without preconditions
• scientific article; zbMATH DE number 4049096 (Why is no real title available?)

Describes a project that uses

Uses Software

• Miranda
• PROGRES

This page was built for publication: Efficient graph rewriting and its implementation

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