A Semantic Approach to Interpolation.

Andrei Popescu, Traian Serbanuta, Grigore Rosu

Browse the full FOSSACS paper archive.