Conference Proceedings

Abstract Interpretation over Non-Lattice Abstract Domains

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey, F Logozzo, M Fahndrich

Static Analysis | Springer Berlin Heidelberg | Published : 2013

DOI: 10.1007/978-3-642-38856-9_3

University of Melbourne Researchers

Peter Schachte Author Computing and Information Systems

Jorge Navas Laserna Author Computing and Information Systems

Harald Sondergaard Author Computing and Information Systems

Peter Stuckey Author Computing and Information Systems

Graeme Gange Author Computing and Information Systems

Related Projects (1)

Automatic Software Verification: Harnessing Constraint Technologies

As we come to rely on software to manage more and more aspects of our lives, the importance of software reliability increases; yet as progra..

Citation metrics

10Web of Science

Keywords

Computer Science

Science & Technology

Computer Science, Software Engineering

Computer Science, Theory & Methods