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-009, Software Engineering Research Group, Delft University of Technology, September 2015.
@techreport{TUD-SERG-2015-009,
title = {A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs},
author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
year = {2015},
month = {September},
url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf},
note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf}},
researchr = {https://researchr.org/publication/TUD-SERG-2015-009},
cites = {0},
citedby = {0},
institution = {Software Engineering Research Group, Delft University of Technology},
number = {TUD-SERG-2015-009},
}