Guarded Command Language
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 20:59 UTC 版)
Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である[1]
- ^ Dijkstra, Edsger W. “EWD472: Guarded commands, non-determinacy and formal. derivation of programs.”. 2006年8月16日閲覧。
- ^ Martin, Alain J. “Synthesis of Asynchronous VLSI Circuits”. 2008年12月7日閲覧。
[続きの解説]
「Guarded Command Language」の続きの解説一覧
- 1 Guarded Command Languageとは
- 2 Guarded Command Languageの概要
- 3 代入
- 4 連結
- 5 応用
このページでは「ウィキペディア」からGuarded Command Languageを検索した結果を表示しています。
Weblioに収録されているすべての辞書からGuarded Command Languageを検索する場合は、下記のリンクをクリックしてください。
全ての辞書からGuarded Command Language を検索
Weblioに収録されているすべての辞書からGuarded Command Languageを検索する場合は、下記のリンクをクリックしてください。
全ての辞書からGuarded Command Language を検索 - Guarded Command Languageのページへのリンク
