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(6 entries)
- enwiki Guarded Command Language
- eswiki Lenguaje de Comandos Guardados
- jawiki Guarded Command Language
- nlwiki GCL
- ptwiki Linguagem de Comando Guardada
- zhwiki 守卫命令语言