A constraint language for static semantic analysis based on scope graphs.

Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth

Browse the full PEPM paper archive.