Home›Edsger W. Dijkstra›Guarded Command Language🌐EnglishEnglishEspañolNederlandsPortuguês한국어中文日本語EntityQ2442390· pop 6· linked from 15 articlesGuarded Command LanguageAlso known as GCLformal language for predicate transformer semantics introduced by by Edsger DijkstraWikidata factsShow 2 more factsdescribed at URLwww.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDFinception1975-00-00Sources (1)wikidata.orgvia Wikidata · CC0Available in 6 languagesEspañol中文日本語PortuguêsNederlandsvia Wikidata sitelinks · CC0ConnectionsEdsger W. DijkstraEntityformal methodsEntityCategoriesEdsger W. DijkstraLogic programming