已入深夜,您辛苦了!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!祝你早点完成任务,早点休息,好梦!

Can programming be liberated from the von Neumann style?

冯·诺依曼建筑 函数式程序设计 计算机科学 编程风格 程序设计语言 域代数上的 风格(视觉艺术) 语义学(计算机科学) 代数表达式 程序设计范式 理论计算机科学 代数数 数学 纯数学 数学分析 历史 考古
作者
J. W. Backus
出处
期刊:Communications of The ACM [Association for Computing Machinery]
卷期号:21 (8): 613-641 被引量:2194
标识
DOI:10.1145/359576.359579
摘要

Conventional programming languages are growing ever more enormous, but not stronger. Inherent defects at the most basic level cause them to be both fat and weak: their primitive word-at-a-time style of programming inherited from their common ancestor—the von Neumann computer, their close coupling of semantics to state transitions, their division of programming into a world of expressions and a world of statements, their inability to effectively use powerful combining forms for building new programs from existing ones, and their lack of useful mathematical properties for reasoning about programs. An alternative functional style of programming is founded on the use of combining forms for creating programs. Functional programs deal with structured data, are often nonrepetitive and nonrecursive, are hierarchically constructed, do not name their arguments, and do not require the complex machinery of procedure declarations to become generally applicable. Combining forms can use high level programs to build still higher level ones in a style not possible in conventional languages. Associated with the functional style of programming is an algebra of programs whose variables range over programs and whose operations are combining forms. This algebra can be used to transform programs and to solve equations whose “unknowns” are programs in much the same way one transforms equations in high school algebra. These transformations are given by algebraic laws and are carried out in the same language in which programs are written. Combining forms are chosen not only for their programming power but also for the power of their associated algebraic laws. General theorems of the algebra give the detailed behavior and termination conditions for large classes of programs. A new class of computing systems uses the functional programming style both in its programming language and in its state transition rules. Unlike von Neumann languages, these systems have semantics loosely coupled to states—only one state transition occurs per major computation.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
杨枝甘露加雪糕完成签到,获得积分10
刚刚
LiChard完成签到 ,获得积分10
1秒前
在水一方完成签到 ,获得积分10
2秒前
2秒前
乐乐应助VIAI采纳,获得10
2秒前
他克莫司完成签到,获得积分10
5秒前
5秒前
恐龙完成签到 ,获得积分10
6秒前
大笨鹅之家完成签到 ,获得积分10
10秒前
他克莫司发布了新的文献求助10
10秒前
11秒前
tcmlida完成签到,获得积分10
11秒前
12秒前
momo应助lizigongzhu采纳,获得10
13秒前
聂青枫完成签到,获得积分10
14秒前
max发布了新的文献求助10
16秒前
17秒前
18秒前
轻松的惜芹完成签到,获得积分10
18秒前
水若琳发布了新的文献求助10
22秒前
微笑冰棍完成签到 ,获得积分10
23秒前
签到完成签到,获得积分10
24秒前
24秒前
ZLM完成签到,获得积分10
25秒前
chenjzhuc完成签到,获得积分10
26秒前
5Hepburn发布了新的文献求助10
29秒前
马华化完成签到,获得积分0
30秒前
梅者如西发布了新的文献求助10
31秒前
朝气完成签到,获得积分10
31秒前
Ava应助max采纳,获得10
31秒前
32秒前
33秒前
34秒前
高高的天亦完成签到 ,获得积分10
36秒前
36秒前
38秒前
文明8完成签到,获得积分10
38秒前
梅者如西完成签到,获得积分10
38秒前
ANG完成签到 ,获得积分10
39秒前
chenrufeng发布了新的文献求助10
40秒前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
Indomethacinのヒトにおける経皮吸収 400
Phylogenetic study of the order Polydesmida (Myriapoda: Diplopoda) 370
基于可调谐半导体激光吸收光谱技术泄漏气体检测系统的研究 350
Robot-supported joining of reinforcement textiles with one-sided sewing heads 320
Aktuelle Entwicklungen in der linguistischen Forschung 300
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3989957
求助须知:如何正确求助?哪些是违规求助? 3532034
关于积分的说明 11256000
捐赠科研通 3270880
什么是DOI,文献DOI怎么找? 1805070
邀请新用户注册赠送积分活动 882252
科研通“疑难数据库(出版商)”最低求助积分说明 809216