作者:e·a·阿什克罗夫特，w·w·韦奇
ACM通信，1977年7月，第20卷第7期，第519-526页
10.1145/359636.359715
评论
Lucid是一个正式的系统，在这个系统中可以编写程序和执行程序的证明。证明是特别容易遵循和直接产生的，因为在一个Lucid程序中的语句是简单的公理，通过(几乎)传统的逻辑推理，在一些特殊的Lucid函数的公理和推理规则的帮助下，从这些公理进行证明。作为一种编程语言，Lucid是非常规的，因为除其他事项外，语句的顺序是不相关的，赋值语句是方程。尽管如此，Lucid程序看起来与使用赋值、条件语句和循环的传统结构化编程语言中的迭代程序没有太大区别。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择下面的一个选项以访问高级内容和功能。
创建一个网上帐户
如果你已经是ACM会员，通信订阅者或数码图书馆订阅者，请设置网页帐户，以浏览本网站的优质内容。
参加ACM
成为ACM的会员，可以充分利用ACM卓越的计算信息资源、网络机会等优势。
订阅ACM杂志通讯
获得50多年的中华中医药学会内容的完整访问权限，并每月获得杂志印刷版。
购买这篇文章
非会员可以购买这篇文章或刊登这篇文章的杂志。
