UpgradeJ: Incremental Typechecking for Class Upgrades
Abstract elided by the publisher.
Related papers
- eVolCheck: Incremental Upgrade Checker for C TACAS 2013
- Relaxed MultiJava: balancing extensibility and modular typechecking OOPSLA 2003
- Typechecking and Modules for Multimethods TOPLAS 1995
- Total Type Classes Haskell 2025
- Typechecking and Modules for Multi-Methods OOPSLA 1994
- Modular Software Upgrades for Distributed Systems ECOOP 2006
- Early Identification of Incompatibilities in Multi-component Upgrades ECOOP 2004
- Modular typechecking for hierarchically extensible datatypes and functions ICFP 2002