Graph transformation benchmarks

swMATH4099MaRDI QIDQ16286FDOQ16286

Author name not available (Why is that?)

Official website: http://www.cs.bme.hu/~gervarro/benchmark/2.0/

Described by source

• A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation

Cited In (15)

• The Edge of Graph Transformation — Graphs for Behavioural Specification
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• CatLib
• GrGen
• PROGRES
• HOL-Z
• Fujaba
• VIATRA2
• AGG
• VPM
• CheckVML
• DiaGen
• Graph Transformation by Computational Category Theory
• GRAS
• REforDI

This page was built for software: Graph transformation benchmarks