Automated Module Composition
Abstract elided by the publisher.
Related papers
- An Application Framework For Module Composition Tools ECOOP 1996
- Controlling dynamic module composition through an extensible meta-level API DLS 2010
- VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus TACAS 2026
- Compositional Analysis of Modular Logic Programs POPL 1993
- Safe composition of product lines GPCE 2007
- On the modularity of feature interactions GPCE 2008
- Generically Automating Separation Logic by Functors, Homomorphisms, and Modules POPL 2025
- Denotation-based Compositional Compiler Verification TOPLAS 2026