– Dijkstra(被)保护命令(guarded command): GC 其中G是一个布尔表达式列表组成的保护 (guarded),C是一个命令列表。当保护G执行结 果为true时,执行命令列表C。
基于24个网页-相关网页
很多种类的语句,如卫式命令(Guarded command)和非递归过程调用语句等
基于8个网页-相关网页
guarded command set 带哨命令集
guarded command language 卫士式命令语言
·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐
模块上移
模块下移
不移动