守卫命令语言-一流百科

守卫命令语言

守卫命令语言Guard命令语言（GCL）是Edsger Dijkstra在EWD472中为谓词转换语义定义的一种编程语言。它以一种紧凑的方式结合了编程概念。它使开发一个程序和它...

词条百科