第条

免费访问

编制初步报告时的能力/绩效二分法

作者:

沃恩·R。普拉特作者信息和声明

POPL’77：第四届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录

页194-200

https://doi.org/10.1145/512950.512968

出版:1977年1月1日出版历史

PDF格式电子阅读器

摘要

我们考虑自动化程序员的一些职责的问题。我们的出发点是，数据管理已经自动化，程序员只关心程序的正确性（而不是效率），而不需要涉及存储分配问题的任何方面。我们关注的是我们认为明智的下一步，即自动化控制方面的问题。为了实现这一点，我们提出了一种基于事实/启发式二分法的控制定义，这是乔姆斯基能力/绩效二分法中的一种变体。这种二分法将源自麦卡锡并由格林、休伊特、麦克德莫特、萨斯曼、海耶斯、科瓦尔斯基等人发展的思想形式化。它允许用户在不影响程序正确性的情况下对程序的控制组件进行任意操作，这完全是事实组件的责任。我们研究的直接目标是学习如何编程，保持事实和控制的分离，并确定那些易于自动化的控制方面。

工具书类

[1]

Aho，A.V.，J.E.Hopcroft和J.D.Ullman。计算机算法的设计与分析。Addison-Wesley，雷丁，马萨诸塞州，1974年。

数字图书馆

[2]

乔姆斯基，N.《句法理论的某些方面》，麻省理工学院出版社，剑桥马萨诸塞州，1965年。

[3]

Cook，S.A.《藻类片段的公理化和解释语义》。TR-79，多伦多，1975年2月。

[4]

Floyd，R.W.为程序赋予意义。《计算机科学的数学方面》（编辑J.T.Schwartz），19-32。1967

[5]

Green，C.Cordell。定理证明在问答系统中的应用。斯坦福大学计算机科学系报告CS-138。1969

[6]

Patrick J.Hayes，《计算与演绎》，Proc。交响乐团。数学。已找到。公司的。科学。，捷克学院。科学领域。1973

[7]

Hewitt，C.E.《PLANNER的描述和理论分析（使用图式）：机器人中定理和操作模型的证明语言》，麻省理工学院人工智能实验室TR-258。1972

[8]

____P.Bishop和R.Steiger。“人工智能的通用模块化ACTOR形式主义”，Proc。IJCAI 3，第235页。1973

[9]

计算机程序设计的公理基础。CACM 12，576-580。1969

数字图书馆

[10]

Kowalski，R.谓词逻辑作为编程语言，爱丁堡大学计算逻辑系备忘录70。1973

[11]

Kuno，S.预测分析仪和路径消除技术。CACM第8、7、453-462页。1965.

数字图书馆

[12]

McCarthy，J.《常识课程》。《语义信息处理》（编辑：Minsky，M.L.），麻省理工学院出版社，马萨诸塞州剑桥，1968年。

[13]

McDermott，D.和G.J.Sussman。Conniver参考手册，麻省理工学院人工智能实验室备忘录259a。1972

[14]

____. 电路设计计算机程序的灵活性和效率。麻省理工学院人工智能实验室博士论文，1976年9月。

[15]

Manna，Z。二阶数学计算理论。程序。第二届ACM交响乐团。计算理论，158-168。1970年5月。

数字图书馆

[16]

D.C.Marr和T.G.Poggio。从理解计算到理解神经电路。麻省理工学院AI备忘录357。1976年5月。

数字图书馆

[17]

Pratt，V.R.基础对布尔表达式大小的影响。程序。年第16届IEEE交响乐。关于公司基础。科学。，119-121. 1975

数字图书馆

[18]

Pratt，V.R.《Floyd-Hoare逻辑的语义思考》。程序。年第17届IEEE交响乐。关于公司基础。109-121. 1976

[19]

Schwartz，J.《程序起源及其对未来编程语言的影响》。《算法语言新方向》（ed.Schuman，S.A.），IRIA.1976年。

[20]

斯坦·阿克·塔恩隆德。“程序设计语言谓词逻辑的解释器”，Proc。IJCAI 4，第601页。1975

[21]

图灵，A.M.关于可计算数字，以及对Entscheidungsproblem的应用，Proc。伦敦数学。Soc.，服务器。2, 42, 230-265, 43, 544-546. 1936

[22]

Woods，W.A.《自然语言分析的强化转换网络》。向马萨诸塞州剑桥哈佛大学艾肯计算实验室国家科学基金会提交CS-1号报告。1969

引用人

施瓦兹J(1982)使用注释使递归方程行为化IEEE软件工程汇刊10.1109/TSE.1982.2347718:1(21-33)在线发布日期：1982年1月1日
https://dl.acm.org/doi/10.109/TSE.1982.234771
科瓦尔斯基R(1979)算法=逻辑+控制ACM通信10.1145/359131.35913622:7(424-436)在线发布日期：1979年7月1日
https://dl.acm.org/doi/10.1145/359131.359136
温诺格拉德T(1979)超越编程语言ACM通信10.1145/359131.35913322:7(391-401)在线发布日期：1979年7月1日
https://dl.acm.org/doi/10.1145/359131.359133
显示更多引用者

建议

Steiner Multicut的参数化复杂性二分法

我们考虑Steiner Multicut问题，它要求给定一个无向图G，一个T={T1，ź，T T}，T i \378,V（G）的集合，其终端集的大小最多为p，并且是一个整数k，是否存在一个最多为k个边或节点的集S，从而。。。
holant问题的二分法定理
编程大师：与主要编程语言创造者的对话

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

POPL’77：第四届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录

1977年1月

280页

国际标准图书编号：9781450373500

内政部：10.1145/512950

会议主席：
罗伯特·格雷厄姆
马萨诸塞州阿默斯特马萨诸塞大学
,
迈克尔·哈里森
加利福尼亚大学伯克利分校
,
项目主席：
拉维·塞蒂
新泽西州默里山贝尔实验室

版权所有©1977 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1977年1月1日

权限

请求对此文章的权限。

检查更新

限定符

第条

接受率

POPL’77论文接受率105份提交中的25份，24%；

4130份提交文件的总体接受率为824份，20%

即将召开的会议

流行乐'25

赞助商：
信号平面图

第52届ACM SIGPLAN编程语言原理年会

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

11
引文总数
查看引文
333
总下载次数

下载量（最近12个月）67
下载次数（最近6周）16

反映截至2024年9月22日的下载量

其他指标

查看作者指标

引文

引用人

施瓦兹J(1982)使用注释使递归方程行为化IEEE软件工程汇刊10.1109/TSE.1982.2347718:1(21-33)在线发布日期：1982年1月1日
https://dl.acm.org/doi/10.109/TSE.1982.234771
科瓦尔斯基R(1979)算法=逻辑+控制ACM通信10.1145/359131.35913622:7(424-436)在线发布日期：1979年7月1日
https://dl.acm.org/doi/10.1145/359131.359136
温诺格拉德T(1979)超越编程语言ACM通信10.1145/359131.35913322:7(391-401)在线发布日期：1979年7月1日
https://dl.acm.org/doi/10.1145/359131.359133
沙米尔A(1979)在O（logn）算术步骤中对数字进行因子分解信息处理信件10.1016/0020-0190(79)90087-58:1(28-31)在线发布日期：1979年1月19日
https://doi.org/10.1016/0020-0190(79)90087-5
普拉特五世利普顿RBurkhard W公司萨维奇W弗里德曼·E阿霍A(1978)命题动态逻辑的实用决策方法（初步报告）第十届ACM计算理论年会论文集10.1145/800133.804362(326-337)在线发布日期：1978年5月1日
https://dl.acm.org/doi/10.1145/800133.804362
约翰逊S阿霍A齐勒斯S西曼斯基T(1978)一个可移植的编译器第五届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录10.1145/512760.512771(97-104)在线发布日期：1978年1月1日
https://dl.acm.org/doi/10.1145/512760.512771
克莱尔J多伊尔J斯蒂尔G苏斯曼G(1977)AMORD推理的显式控制ACM SIGART公告10.1145/872736.806940(116-125)在线发布日期：1977年8月1日
https://dl.acm.org/doi/10.1145/872736.806940
戴维斯R(1977)通用过程调用和内容定向调用ACM SIGART公告10.1145/872736.806931(45-54)在线发布日期：1977年8月1日
https://dl.acm.org/doi/10.1145/872736.806931
克莱尔J多伊尔J斯蒂尔G苏斯曼G(1977)AMORD推理的显式控制ACM SIGPLAN通知10.1145/872734.80694012:8(116-125)在线发布日期：1977年8月1日
https://dl.acm.org/doi/10.1145/872734.806940
戴维斯R(1977)通用过程调用和内容定向调用ACM SIGPLAN通知10.1145/872734.80693112:8(45-54)在线发布日期：1977年8月1日
https://dl.acm.org/doi/10.1145/872734.806931
显示更多引用者

视图选项

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子