WG211/M15Ostermann
From WG 2.11
Variability-Aware Programming by Klaus Ostermann
I will present a library for variability-aware programming, that is, a library to support programs that deal with variability described by logical (propositional) formulas. The library's key abstraction is a pair of functions _reflect_ and _reify_ that turn a variable program into an ordinary program and vice versa. I argue that a library like this will be useful to implement variability-aware algorithms, such as type checkers or evaluators for software product lines.