Modal I/O Automata for Interface and Product Line Theories
No abstract available.
Related papers
- Mutation-Based Lifted Repair of Software Product Lines ECOOP 2024
- On the impact of feature dependencies when maintaining preprocessor-based software product lines GPCE 2011
- Modal FRP for all: Functional reactive programming without space leaks in Haskell JFP 2022
- Towards a software product line of trie-based collections GPCE 2016
- Product lines of theorems OOPSLA 2011
- Using document-oriented GUIs in dynamic software product lines GPCE 2013
- Automatic feature selection in large-scale system-software product lines GPCE 2014
- A variability-aware module system OOPSLA 2012