Completeness and predicate-based abstract interpretation.

Alan Mycroft

Browse the full PEPM paper archive.