Programming language principles uf. Prerequisite: COP 3530 .