守护命令语言

简介守护命令语言（GCL）是EdsgerDijkstra在EWD472中为谓词变换器语义定义的一种编程语言。它以一种紧凑的方式结合了编程概念。它使开发一个程序和它的证明携...