Thesis icon

Thesis

Abstract satisfaction

Abstract:

This dissertation shows that satisfiability procedures are abstract interpreters. This insight provides a unified view of program analysis and satisfiability solving and enables technology transfer between the two fields. The framework underlying these developments provides systematic recipes that show how intuition from satisfiability solvers can be lifted to program analyzers, how approximation techniques from program analyzers can be integrated into satisfiability procedures and how pro...

Expand abstract

Actions


Authors


More by this author
Institution:
University of Oxford
Oxford college:
Magdalen College
Department:
Mathematical,Physical & Life Sciences Division - Computing Laboratory

Contributors

Role:
Supervisor
Publication date:
2013
Type of award:
DPhil
Level of award:
Doctoral
URN:
uuid:68f76f3a-485b-4c98-8d02-5e8d6b844b4e
Local pid:
ora:8546

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP