A constraint language for static semantic analysis based on scope graphs

Hendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. A constraint language for static semantic analysis based on scope graphs. In Martin Erwig, Tiark Rompf, editors, Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. pages 49-60, ACM, 2016. [doi]

Authors

Hendrik van Antwerpen

Identified as Hendrik van Antwerpen
(Delft University of Technology
)

Pierre Neron

Identified as Pierre Néron

Andrew P. Tolmach

Identified as Andrew P. Tolmach
(Portland State University
)

Eelco Visser

Identified as Eelco Visser
(Delft University of Technology
)

Guido Wachsmuth

Identified as Guido Wachsmuth