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-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},
  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},
}