A constraint language for static semantic analysis based on scope graphs

Publication
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation