search

Verites / verigraph

Software specification and verification system based on graph rewriting
https://verites.github.io/verigraph/
Apache License 2.0
37 stars 4 forks source link

Representation of Doubly-Typed Graphs #57

Open jsbezerra opened 7 years ago

jsbezerra commented 7 years ago

Currently, the implementation of occurrence graph grammars and doubly-typed graphs is made based on a pair of (simply-)typed graphs. We should create the category of doubly-typed graphs and isolate its implementation, to proper represent and handle the problem domain.