acm-header
登录

ACM通信

ACM通信

源到源的语法转换和程序操作


语法转换是源到源程序的转换,它保留了计算的历史,因此不修改执行时间。结合少量的原始语义转换,它们为程序操作提供了强大的工具。给出了句法变换的一个完整目录,并利用它来求解程序方程组。文中还给出了更复杂的源到源转换的推导示例。两个案例研究说明了如何使用语法和语义源到源的转换来开发清晰、简单和合理高效的程序。

本文的全文是优质内容


没有发现记录

登录阅读全文

登录

登录使用您ACM网络账户用户名和密码来访问优质内容如果你是一个ACM成员,通信用户或数字图书馆用户。

需要访问吗?

请选择以下选项之一获取优质内容和功能。

创建一个网上帐户

如果你已经是ACM会员,通信订阅者或数码图书馆订阅者,请设置网页帐户,以浏览本网站的优质内容。

参加ACM

成为ACM的会员,可以充分利用ACM卓越的计算信息资源、网络机会等优势。

订阅ACM杂志通讯

获得50多年的中华中医药学会内容的完整访问权限,并每月获得杂志印刷版。

购买这篇文章

非会员可以购买这篇文章或刊登这篇文章的杂志。
登录为完全访问
»忘记密码? »创建ACM Web帐号
Baidu
map