The Static Semantics of the Green-Marl Graph Analysis Language: Formal Specification, Declarative Implementation and Integration with a Compiler Back-end

Jeff Smits. The Static Semantics of the Green-Marl Graph Analysis Language: Formal Specification, Declarative Implementation and Integration with a Compiler Back-end. Master's thesis, Delft University of Technology, 2 2016.

Similar Publications

The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.