Lecture: The PlusCal Algorithm Language

Leslie Lamport

Abstract:

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.

Leslie Lamport

more