Sign in

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

Hendrik van AntwerpenPierre NeronAndrew P. TolmachEelco VisserGuido Wachsmuth
Published in: PEPM (2016)
Keyphrases