Slicing Unconditional Jumps with Unnecessary Control Dependencies

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_15 ◽

2021 ◽

pp. 293-308

Author(s):

Carlos Galindo ◽

Sergio Pérez ◽

Josep Silva

Download Full-text