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

van Antwerpen, Hendrik and Néron, Pierre and Tolmach, Andrew P. and Visser, Eelco and Wachsmuth, Guido

Links to PDF researchr

Cite As

Antwerpen, Hendrik van, Pierre Néron, Andrew P. Tolmach, Eelco Visser, and Guido Wachsmuth. 2015. “A Constraint Language for Static Semantic Analysis Based on Scope Graphs with Proofs.” TUD-SERG-2015-012. Software Engineering Research Group, Delft University of Technology. http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf.

BibTeX Entry

@techreport{TUD-SERG-2015-012,
  title = {A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs},
  author = {van Antwerpen, Hendrik and Néron, Pierre and Tolmach, Andrew P. and Visser, Eelco and Wachsmuth, Guido},
  year = {2015},
  month = nov,
  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}
}
Share on