A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs

Hendrik van Antwerpen, Pierre NĂ©ron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs. Technical Report TUD-SERG-2015-012, Software Engineering Research Group, Delft University of Technology, November 2015.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.