Return to Article Details Static Analysis for Program Execution Cost Estimation Download Download PDF