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) Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

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)

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

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)