Slicing from formal semantics: Chisel—a tool for generic program slicing | Publicación