Return to Article Details A decidable class of verification conditions for programs with higher order store Download Download PDF