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 underlyi...Expand abstract...

Actions


Access Document


Request a copy:
The files for the record are currently under embargo. If you would like us to seek permission for you to view the document please Request a copy

Authors


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

Contributors

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

Terms of use


Stats


Views & Downloads


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

TO TOP