A constraint language for static semantic analysis based on scope graphs.
A constraint language for static semantic analysis based on scope graphs.
Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
01 February 2016
Venue : PEPM
External Link: https://doi.org/10.1145/2847538.2847543