Ausgabe 1/2019
'Special issue on 'SAS 2017'
Inhalt (5 Artikel)
S.I.: SAS 2017
Foreword to the special issue on the 2017 Static Analysis Symposium
Francesco Ranzato
Abstract semantic diffing of evolving concurrent programs
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Template polyhedra and bilinear optimization
Jessica Gronski, Mohamed-Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan
Quantitative static analysis of communication protocols using abstract Markov chains
Abdelraouf Ouadjaout, Antoine Miné