# Guarded Command Language

> formal language for predicate transformer semantics introduced by by Edsger Dijkstra

**Wikidata**: [Q2442390](https://www.wikidata.org/wiki/Q2442390)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Guarded_Command_Language)  
**Source**: https://4ort.xyz/entity/guarded-command-language


## References

1. Freebase Data Dumps. 2013