Integrating Non-Interfering Versions of Programs.

Susan Horwitz, Jan F. Prins, Thomas W. Reps

Browse the full POPL paper archive.