×
迈克尔·斯珀伯；Dybvig，R.肯特；马修·弗拉特；安东·范·斯特拉滕；罗比·芬德勒；雅各布·马修斯

修订了算法语言方案的（^{6}）报告。 （英文） 兹比尔1185.68145

J.功能。程序。 19，补遗，1-301（2009）.
概要：编程语言的设计不应将特性堆叠在特性之上，而应消除使附加特性显得必要的弱点和限制。Scheme证明，在不限制表达式组成方式的情况下，形成表达式的极少数规则就足以形成一种实用高效的编程语言，这种语言足够灵活，可以支持当今使用的大多数主要编程范式。
Scheme是最早在lambda演算中集成一级过程的编程语言之一，从而证明了静态范围规则和块结构在动态类型语言中的有用性。Scheme是Lisp的第一个主要方言，它将过程与lambda表达式和符号区分开来，对所有变量使用单一的词汇环境，并以与操作数位置相同的方式计算过程调用的运算符位置。通过完全依赖过程调用来表示迭代，Scheme强调了这样一个事实：尾部递归过程调用本质上是传递参数的goto。Scheme是第一种被广泛使用的编程语言，它支持一级逃逸过程，可以从中合成所有以前已知的顺序控制结构。Scheme的后续版本引入了精确和不精确数字对象的概念，这是Common Lisp通用算法的扩展。最近，Scheme成为第一个支持卫生宏的编程语言，它允许以一致和可靠的方式扩展块结构语言的语法。

引用于4文件

MSC公司：

68甲15 编程语言理论

关键词：

λ演算；Common Lisp的泛型算法

软件：

LISP公司；方案
PDF格式BibTeX公司 XML格式引用
\textit{M.Sperber}等人，J.Funct。程序。19，1-301（2009年；兹比尔1185.68145）
全文： 内政部

参考文献：

[1] Matthews，第15届改写技术和应用会议论文集（2004）
[2] Rees，ACM Lisp和函数编程会议（1982年）
[3] Dybvig，Scheme编程语言（2003）·Zbl 1183.68139号
[4] Clinger，90年编程语言设计与实现会议记录（1990）
[5] 斯蒂尔，《通用语言：语言》（1990）·Zbl 0757.68008号
[6] 内政部：10.1145/382130.382133·数字对象标识代码：10.1145/382130.382133
[7] Burger，ACM SIGPLAN’96年编程语言设计和实现会议记录（1996年）
[8] Clinger，1991年美国计算机学会sigplan编程语言原理研讨会论文集（1991）
[9] Clinger，SIGPLAN注意21 pp 37–（1986）
[10] Bawden，ACM Lisp和函数编程会议（1988年）
[11] Clinger，1998年编程语言设计和实现会议记录（1998）
[12] Barendregt，Nieuw archief voor wisenkunde 4第337页–（1984）
[13] 电话：10.1145/366193.366201·数字对象标识代码：10.1145/366193.366201
[14] Abelson，《计算机程序的结构和解释》（1996）·兹比尔0909.68025
[15] Gosling，Java语言规范（2005）·Zbl 0865.68001号
[16] DOI:10.1007/BF01806308·doi:10.1007/BF01806308
[17] 内政部：10.1006/inco.1994.1093·Zbl 0938.68559号 ·doi:10.1006/inco.1994.1093
[18] Waite，编译器构造（1984）·doi:10.1007/978-1-4612-5192-7
[19] Rees，The T手册（1984）
[20] DOI:10.1023/A:1010051815785·Zbl 0965.68008号 ·doi:10.1023/A:1010051815785
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。