Computing maximum fixed point solutions over feasible paths in data flow analyses

Komal Pathade, Uday P. Khedker. Computing maximum fixed point solutions over feasible paths in data flow analyses. Science of Computer Programming, 228:102944, June 2023. [doi]

Abstract

Abstract is missing.