Home›Browse›Guarded Command Language🌐EnglishEnglishEspañolNederlandsPortuguês한국어中文日本語EntityQ2442390· pop 6· linked from 15 articlesGuarded Command LanguageSign in to saveAlso known as GCLformal language for predicate transformer semantics introduced by by Edsger DijkstraAvailable in 6 languagesEspañol中文日本語PortuguêsNederlandsvia Wikidata sitelinks · CC0