Static Analysis by Abstract Interpretation: A Mathematical Programming Approach

From MaRDI portal
Publication:2814107

DOI10.1016/j.entcs.2010.09.007zbMath1342.68086OpenAlexW2102181048MaRDI QIDQ2814107

Stéphane Le Roux, Leo Liberti, Fabrizio Marinelli, Eric Goubault, Jeremy Leconte

Publication date: 17 June 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.09.007



Related Items


Uses Software


Cites Work