Specifying Reusable Components Using Contracts
No abstract available.
Related papers
- Reuse Contracts: Managing the Evolution of Reusable Assets OOPSLA 1996
- An abstraction for reusable MDD components: model-based generation of model-based code generators GPCE 2008
- A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries SLE 2025
- Expressing heap-shape contracts in linear logic GPCE 2006
- Deciding choreography realizability POPL 2012
- Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components CC 1992
- Definition of Reusable Concurrent Software Components ECOOP 1991
- Latent Effects for Reusable Language Components APLAS 2021