Independently Extensible Systems - Software Engineering Potential and Challenges - (1996)

View PDF

Download Links

by Clemens Szyperski
Venue:In Proceedings of the 19th Australasian Computer Science Conference
Citations:61 - 8 self

Active Bibliography

486 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
410 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
343 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
312 Specification Matching of Software Components – Amy Moormann Zaremski, Jeannette M. Wing - 1996
274 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
9 Dependent classes – Vaidas Gasiunas, Mira Mezini, Klaus Ostermann, Technische Universität Darmstadt - 2007
263 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
6 PolyD: A Flexible Dispatching Framework – Antonio Cunei, Jan Vitek - 2005