检索结果-内蒙古大学图书馆

A lambda-calculus model of programming languages-I. Simple constructs

Computer Languages 1975年第4期1卷 287-301页

作者： Abdali, S.Kamal Department of Mathematical Sciences Rensselaer Polytechnic Institute Troy NY 12181 United States

A simple correspondence is presented between the elementary constructs of programming languages and the lambda-calculus. The correspondence is obtained by using intuitive, functional interpretations of programming language constructs, completely avoiding the notions of machine memory and address. In particular, the concepts of program variable and assignment are accounted for in terms of the concepts of mathematical variable and substitution, respectively. Lambda-expression representations are given of assignments, conditional and compound statements, input-output, and blocks. Algol 60 is used as the illustrative language. © 1976.

关键词： ALGOL 60 block structure assignment vs substitution program correctness Formal Semantics Lambda-Calculus programming Language Semantics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：