Module Checking
No abstract available.
Related papers
- Module Checking Revisited CAV 1997
- Interface Compatibility Checking for Software Modules CAV 2002
- Modules and Type Checking in PL/LL OOPSLA 1987
- A variability-aware module system OOPSLA 2012
- Typechecking and Modules for Multimethods TOPLAS 1995
- Typechecking and Modules for Multi-Methods OOPSLA 1994
- Sound Modular Verification of C Code Executing in an Unverified Context POPL 2015
- Generic Validation of Structural Content with Parametric Modules ICFP 2001