Building certified static analysers by modular construction of well-founded lattices (2008)

by David Pichardie
Venue:In Proc. of the 1st International Conference on Foundations of Informatics, Computing and Software (FICS’08), Electronic Notes in Theoretical Computer Science