Perigee
发表于 2025-4-1 03:35:12
http://reply.papertrans.cn/39/3880/387977/387977_61.png
indubitable
发表于 2025-4-1 09:03:33
Concepts for Specifying Complex Graph Transformation Systemse with large specifications showed that packages alone are not sufficient and therefore we have developed concepts for modularizing and coupling specifications. Our graph database provides the runtime-support required by these concepts.
违抗
发表于 2025-4-1 11:16:22
http://reply.papertrans.cn/39/3880/387977/387977_63.png
地牢
发表于 2025-4-1 16:06:57
Towards Graph Programs for Graph Algorithmst but can be exponential in the number of rule applications. The second program is a refinement of the first which is essentially deterministic and uses at most a quadratic number of rule applications.