Stem var$ (all stems)
2 papers:
- POPL-2014-KuperTKN #parallel #programming
- Freeze after writing: quasi-deterministic parallel programming with LVars (LK, AT, NRK, RRN), pp. 257–270.
- PLEASE-2013-Zhang0 #framework #named #reverse engineering #towards #variability
- RECoVar: A solution framework towards reverse engineering variability (BZ, MB), pp. 45–48.