Guarded Command Language (Q2442390)
Jump to navigation
Jump to search
formal language for predicate transformer semantics introduced by by Edsger Dijkstra
- GCL
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Guarded Command Language |
formal language for predicate transformer semantics introduced by by Edsger Dijkstra |
|
Statements
1975
0 references
Identifiers
Sitelinks
Wikipedia(5 entries)
- enwiki Guarded Command Language
- eswiki Lenguaje de Comandos Guardados
- jawiki Guarded Command Language
- nlwiki GCL
- zhwiki 守卫命令语言