An Application Framework For Module Composition Tools
No abstract available.
DOI 10.1007/bfb0053058
Related papers
- Scalable Cross-Module Optimization PLDI 1998
- Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra POPL 2025
- Feature interactions, products, and composition GPCE 2011
- Compositional Analysis of Modular Logic Programs POPL 1993
- Denotation-based Compositional Compiler Verification TOPLAS 2026
- EVA: a Tool for the Compositional Verification of AUTOSAR Models TACAS 2023
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- Automated Module Composition TACAS 2003