EntityQ2442390· pop 6· linked from 15 articlesGuarded Command LanguageSign in to saveformal language for predicate transformer semantics introduced by by Edsger DijkstraConnectionsEdsger W. DijkstraEntityformal methodsEntitycomputer scienceEntityInternational Standard Book NumberEntityprogramming languageEntityalgorithmEntitycomputer programEntitydigital object identifierEntitysemanticsEntitysoftware engineeringEntitygreatest common divisorEntityEuclidean algorithmEntitydistributed computingEntitypropositionEntityNiklaus WirthEntitybubble sortEntitysoftware developmentEntitydata typeEntityDijkstra's algorithmEntitypseudocodeEntityCategoriesEdsger W. DijkstraLogic programming