"Large" abstractions for software engineering.

Dewayne E. Perry

Browse the full ICSE paper archive.