"Automatic Generation of Code Analysis Tools: The CastQL Approach."

Christakis Lezos et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics