On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M15Ostermann: Difference between revisions
From WG 2.11
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
''Variability-Aware Programming'' by Klaus Ostermann | ''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 | 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. | ||
Revision as of 22:12, 25 October 2015
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.
