A semantic integrated development environment.

Francesco Logozzo, Michael Barnett, Manuel Fhndrich, Patrick Cousot, Radhia Cousot

Browse the full OOPSLA paper archive.