Rich Interfaces for Software Modules
No abstract available.
Related papers
- Interface Compatibility Checking for Software Modules CAV 2002
- Verified Software Units ESOP 2021
- Contracts for first-class modules DLS 2009
- Temporal higher-order contracts ICFP 2011
- A variability-aware module system OOPSLA 2012
- Modules with Interfaces for Dynamic Linking and Communication ECOOP 2004
- Transparent Modules with Fully Syntactic Signatures ICFP 1999
- The POLYLITH Software Bus TOPLAS 1994