Ben-Gurion University of the Negev Faculty of Natural Science Department of Computer Science Principles of Programming Languages Mira Balaban Lecture Notes May 25, 2012 Many…