Guarded Command Language
Sign in to saveAlso known as GCL
formal language for predicate transformer semantics introduced by by Edsger Dijkstra
Wikidata facts
- Instance of
- formal language
- Creator
- Edsger W. Dijkstra
Show 2 more facts
- described at URL
- www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF
- inception
- 1975-00-00
Sources (1)
via Wikidata · CC0
Article · 日本語
Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である
Abstract from DBpedia / Wikipedia · CC BY-SA