Optimizing the SPARK program slicer | ACM SIGAda Ada Letters | DeepDyve