Grammar with Multiplicities

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

Grammar with Multiplicities #9

Open jsbezerra opened 7 years ago

jsbezerra commented 7 years ago

Investigate the implementation of multiplicities in the type graph and the corresponding restrictions over the grammar and the analyses provided by verigraph.

jsbezerra commented 7 years ago

One possible line to follow is the use graph constraints to formally model and implement multiplicity.