Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas

Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence. Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. Comput. J., 48(6):737-748, 2005. [doi]

Abstract

Abstract is missing.