1 our algorithm permits starting or stopping the critical path computation during program execution and reporting intermediate values