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.
@techreport{TUD-SERG-2015-012,
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 = {November},
url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf},
note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf}},
researchr = {https://researchr.org/publication/TUD-SERG-2015-012},
cites = {0},
citedby = {0},
institution = {Software Engineering Research Group, Delft University of Technology},
number = {TUD-SERG-2015-012},
}