Guarded Command Language
Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である == ガード付きコマンド == ガード付きコマンドはGCLの最重要要素である。 ガード付きコマンドは名前の通り、ガードが付いている。
Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である == ガード付きコマンド == ガード付きコマンドはGCLの最重要要素である。 ガード付きコマンドは名前の通り、ガードが付いている。
Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である == ガード付きコマンド == ガード付きコマンドはGCLの最重要要素である。 ガード付きコマンドは名前の通り、ガードが付いている。
出典: Wikipedia「Guarded Command Language」 · CC BY-SA 4.0
この記事を共有: X · Bluesky