Interface Compatibility Checking for Software Modules
No abstract available.
Related papers
- Program Fragments, Linking, and Modularization POPL 1997
- Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors OOPSLA 1994
- Rich Interfaces for Software Modules ECOOP 2004
- Protocol Specifications and Component Adaptors TOPLAS 1997
- A variability-aware module system OOPSLA 2012
- Design of an interpretive environment for Turing PLDI 1987
- Ticc: A Tool for Interface Compatibility and Composition CAV 2006
- Refactoring-based support for binary compatibility in evolving frameworks GPCE 2007