GraphAlg Language Specification
The paper Foundations of the GraphAlg Language specifies the syntax, type system and semantics of the GraphAlg and GraphAlg Core languages, as well as their relation to MATLANG.
The paper Foundations of the GraphAlg Language specifies the syntax, type system and semantics of the GraphAlg and GraphAlg Core languages, as well as their relation to MATLANG.