Automatic Remodularization and Optimized Synthesis of Product-Families
No abstract available.
Related papers
- MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations PLDI 2025
- Integrating independent components with on-demand remodularization OOPSLA 2002
- The impact of static-dynamic coupling on remodularization OOPSLA 2008
- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs CAV 2021
- Analysing meta-model product lines SLE 2018
- VML* - A Family of Languages for Variability Management in Software Product Lines SLE 2009
- A comparison of product-based, feature-based, and family-based type checking GPCE 2013
- Syntax-Guided Synthesis with Quantitative Syntactic Objectives CAV 2018