"Enforcing termination of interprocedural analysis."

Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics