A Theory of Software Reusability
Abstract elided by the publisher.
Related papers
- Definition of Reusable Concurrent Software Components ECOOP 1991
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi JFP 2021
- An Iterative-Design Model for Reusable Object-Oriented Software OOPSLA 1990
- Retrieving Reusable Software Components by Polymorphic Type JFP 1991
- Workflow enactment with continuation and future objects OOPSLA 2002
- Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory POPL 2025
- Reuse Contracts: Managing the Evolution of Reusable Assets OOPSLA 1996
- Type checking, separate compilation and reusability PLDI 1984