埃里克·c·r·赫纳著
ACM通讯，1984年2月，第27卷第2期，第144-151页
10.1145/69610.357990
评论
本文由两部分组成，第一部分提出了一种新的程序语义。每个程序都被认为是一个谓词，在一个有限的符号中，它指定了执行该程序的计算机的可观察行为。我们考虑了各种各样的表示法，包括赋值、组合(分号)、确定性选择(如果),
不确定的选择、定义(非递归和递归)和变量声明。我们没有考虑任何输入或输出符号，或者并发性;这是第二部分的主题。我们假设读者熟悉第一部分，这样我们就可以以第一部分的观点为基础。
这篇文章的全文是优质内容
没有找到条目
登录阅读全文
需要访问吗?
请选择以下其中一个选项以访问优质内容和功能。
创建一个网络帐户
如果您已经是ACM会员，通信订阅用户，或数码图书馆订阅用户，请设立网上帐户，以便阅览本网站的优质内容。
加入ACM
成为ACM会员可以充分利用ACM卓越的计算信息资源、网络机会和其他优势。
订阅ACM杂志通讯
获得完全访问超过50年的CACM内容，并每月收到印刷版杂志。
购买物品
非会员可以购买这篇文章或它出现的杂志的副本。
