Guarded Command Language

（重定向自Guarded command）

The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics. It combines programming concepts in a compact way, before the program is written in some practical programming language. Its simplicity makes proving the correctness of programs easier, using Hoare logic.

单词	Guarded command
释义	Guarded command 英语百科 Guarded Command Language （重定向自Guarded command） The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics. It combines programming concepts in a compact way, before the program is written in some practical programming language. Its simplicity makes proving the correctness of programs easier, using Hoare logic.
随便看	your courage your cupboard your cup of tea your day your dignity yourdon methodology your doorstep your due you really tried you reap what you sow your ear your ears must be burning Youre kidding your elders and betters your eminence youren Your Excellency your eye Your Eyes your eyes over your eyes pop out of your head your eyes water Your Face your fair share your fair share of