Alessandra Di Pierro, Herbert Wiklicky
On the precision of abstract interpretations
LOPSTR, 2000.
@inproceedings{LOPSTR-2000-PierroW,
author = "Alessandra Di Pierro and Herbert Wiklicky",
booktitle = "{Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation}",
ee = "http://apt.cs.manchester.ac.uk/ftp/pub/TR/UMCS-00-6-1-dipierro.ps.Z",
publisher = "{Department of Computer Science, University of Manchester}",
series = "{Technical Report}",
title = "{On the precision of abstract interpretations}",
volume = "UMCS-00-6-1",
year = 2000,
}