COMP 301: Foundations of Programming