Lecture

CS-210: Evaluation strategies and termination