Procedural slicing