Stem lifeguard$ (all stems)
1 papers:
PLDI-2010-RuwaseCGM #correctness #optimisation #tool support- Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools (OR, SC, PBG, TCM), pp. 25–35.
PLDI-2010-RuwaseCGM #correctness #optimisation #tool support