Computing Publications

Publications Home » Measuring the precision of abstra...

Measuring the precision of abstract interpretations

Alessandra Di Pierro, Herbert Wiklicky

Conference or Workshop Paper
10th international workshop on logic based program synthesis and transformation, London, England
2001
Volume 2042
pp.147–164
Springer Verlag
ISBN 3-5404-2127-0
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.