Lecture: Thursday, September 22, 2016 – Leslie Lamport

Leslie Lamport: “The PlusCal Algorithm Language”


An algorithm is not a program, so why describe it with a programming language? PlusCal is a tiny toy-like language that is infinitely more expressive than any programming language because an expression can be any mathematical formula.