Strong Preservation as Completeness in Abstract Interpretation.

Francesco Ranzato, Francesco Tapparo

Browse the full ESOP paper archive.