エドガー・ダイクストラ
Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である