Guarded Command Language
Sign in to saveAlso known as GCL
formal language for predicate transformer semantics introduced by by Edsger Dijkstra
Wikidata facts
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
Connections
Edsger W. Dijkstra
Entity
formal methods
Entity
computer science
Entity
International Standard Book Number
Entity
programming language
Entity
algorithm
Entity
computer program
Entity
digital object identifier
Entity
semantics
Entity
software engineering
Entity
greatest common divisor
Entity
Euclidean algorithm
Entity
distributed computing
Entity
proposition
Entity
Niklaus Wirth
Entity
bubble sort
Entity
software development
Entity
data type
Entity
Dijkstra's algorithm
Entity
pseudocode
Entity