Lazy Demand-driven Partial Redundancy Elimination. - Yuya Yanase; Yasunobu Sumikawa (J. Inf. Process., 2023)