eVolCheck: Incremental Upgrade Checker for C
Abstract elided by the publisher.
Related papers
- UpgradeJ: Incremental Typechecking for Class Upgrades ECOOP 2008
- A systematic approach to deriving incremental type checkers OOPSLA 2020
- Incremental type-checking for free: using scope graphs to derive incremental type-checkers OOPSLA 2022
- A Co-contextual Type Checker for Featherweight Java ECOOP 2017
- Modular Software Upgrades for Distributed Systems ECOOP 2006
- Early Identification of Incompatibilities in Multi-component Upgrades ECOOP 2004
- To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains OOPSLA 2010
- A co-contextual formulation of type rules and its application to incremental type checking OOPSLA 2015