Conference item icon

Conference item

Propositional Interpolation and Abstract Interpretation

Abstract:

Algorithms for computing Craig interpolants have several applications in program verification. Though different algorithms exist, the relationship between them and the properties of the interpolants they generate are not well understood. This paper is a study of interpolation algorithms for propositional resolution proofs. We show that existing in- terpolation algorithms are abstractions of a more general, parametrised algorithm. Further, existing algorithms reside in the coarsest abstrac- ti...

Expand abstract

Actions


Access Document


Authors


Publisher:
Springer.
Host title:
Proceedings of the European Symposium on Programming
Volume:
6012/2010
Publication date:
2010-01-01
DOI:
ISSN:
0302-9743 (Print) 1611-3349 (Online)
ISBN:
9783642119569
UUID:
uuid:fca7abba-f146-4928-a312-39b1a71e2776
Local pid:
cs:3405
Deposit date:
2015-03-31

Terms of use


Views and Downloads






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

TO TOP