Ausgabe 2/2018
Special issue on 'SAS 2016'
Inhalt (7 Artikel)
Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses
Kihong Heo, Hakjoo Oh, Hongseok Yang
Inferring functional properties of matrix manipulating programs by abstract interpretation
Matthieu Journault, Antoine Miné
Validating numerical semidefinite programming solvers for polynomial invariants
Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
Enforcing termination of interprocedural analysis
Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler