Guarded Command Language  Proposed by Dijkstra  Statement of the form G -> S  The guard is a proposition, must be true for statement to execute  Purpose: to support a new programming methodology that supported verification (correctness) during development  Basic Idea: if the order of evaluation is not important, the program should not specify one.
{}