Narrowing Operators on Template Abstract Domains.

Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari

Browse the full FM paper archive.