守卫命令语言
Sign in to saveAlso known as GCL
formal language for predicate transformer semantics introduced by by Edsger Dijkstra
Wikidata facts
- Instance of
- formal language
- Creator
- Edsger W. Dijkstra
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
Article · 中文
守卫命令语言（GCL：Guarded Command Language）是艾兹赫尔·戴克斯特拉为定义的一门语言。它以精简方式组合了编程概念，它们处在以某种实际的编程语言书写程序之前。它的简单性使得采用霍尔逻辑证明程序的正确性更加容易。
Abstract from DBpedia / Wikipedia · CC BY-SA