[ Course Documents ] : [ Control Structures ]

Previous Contents Next Keyword Index

Guarded Commands (Dijkstra, 1975)

• Purpose: to support a new programming methodology (verification during program development)

• Also useful for concurrency

• Two guarded forms:
  • Selection (guarded if)
  • Iteration (guarded while)