Return to Article Details Dynamic Interpretation and Hoare Deduction: Extended Abstract Download Download PDF