文章

免费访问

康奈尔大学程序合成器：一种语法导向的编程环境

作者:

提姆泰特鲍姆,

托马斯代表作者信息和声明

ACM通信,体积24,问题9

页563-573

https://doi.org/10.1145/358746.358755

出版:1981年9月1日出版历史

PDF格式电子阅读器

摘要

程序不是文本；它们是计算结构的层次结构组成，应该在一个始终承认并强化这种观点的环境中进行编辑、执行和调试。康奈尔程序合成器要求在程序开发的所有阶段都有一个结构视角。它的独立功能由一个共同的基础统一：编程语言的语法。它的全屏幕派生树编辑器和语法导向的诊断解释器相结合，使Synthesizer成为一个功能强大、响应迅速的交互式编程工具。

工具书类

[1]

Alberga，C.N.，Brown，A.L.，Leeman，G.B.，Mikelsons，M.和Wegman，M.N.，程序开发工具。第八交响乐团会议记录。《编程语言原理》，弗吉尼亚州威廉斯堡，1981年1月，92-104。

数字图书馆

[2]

Archer，J.、Conway，R.、Shore，A.和Silver，L.核心用户界面。技术报告编号TR80-437，公司部门。科学。，科尼乌大学，纽约州伊萨卡，1980年9月。

数字图书馆

[3]

Balzer，R.M.，EXDAMS-EXtendable调试和监控系统，AFIPS程序。第34条（SJCC 1969），第567-580页。

[4]

Constable，R.和O'Donnell，M.J.A Programming Logic。温思罗普，马萨诸塞州剑桥市，1978年。

[5]

Conway，R.和Constable，R.PL/CS-PL/I.技术报告第76-293号的纪律子集，公司部门。科学。，康奈尔1976年。

[6]

Conway，R.《使用PL/CS的学科编程入门》。温思罗普，马萨诸塞州剑桥市，1978年。

[7]

Conway，R.和Gries，D.《编程简介——使用PL/I和PL/C.Winthrop的结构化方法》，马萨诸塞州剑桥市，1979年，135-137。

[8]

Demers，A.、Reps，T.和Teitelbaum，T.属性文法的增量计算，以及语法定向编辑器的应用。第八交响乐团会议记录。《编程语言原理》，弗吉尼亚州威廉斯堡，1981年1月。

数字图书馆

[9]

Donzeau-Gouge，V.、Huet，G.、Kahn，G.，Lang，B.和Levy，J.J.，面向结构的程序编辑器。技术报告，IRIA-LABORIA，法国1975年。

[10]

Engelbart，D.C.和English，W.K.，增强人类智力的研究中心。AFIPS程序。第33版（FJCC，1968）。

数字图书馆

[11]

Feiler，P.H.和Medina Mora，R.，增量编程环境。公司部门。科学。，卡内基梅隆大学，宾夕法尼亚州匹兹堡，1980年4月。

[12]

Hansen，W.用计算机显示器创建层次文本。博士论文，计算机。科学。斯坦福大学系，加利福尼亚州斯坦福，1971年6月。

数字图书馆

[13]

Habermarm，A.N.甘道夫项目概述。公司。科学。1978-1979年，卡内基梅隆大学，宾夕法尼亚州匹兹堡，1979年。

[14]

Hodgson，L.I.和Porter，M.BIDOPS：双向编程系统。公司部门。科学。，澳大利亚新南威尔士州阿米代尔新英格兰大学，1980年。

[15]

Joy，B.Ex参考手册。电气工程与计算机系。科学。，加利福尼亚大学伯克利分校，1977年。

[16]

T.E.基础Kurtz。SIGPLAN通告，1978年8月。

数字图书馆

[17]

Lewis，J.W.和Porges，D.F.ALBE/P：Pascal基于语言的编辑器。审计部。科学。，耶鲁大学，康涅狄格州纽黑文。

[18]

Masinter，L.M.互动环境中的全球项目分析。施乐PARC报告SSL-80-1，1980年1月。

[19]

Mikelsons，M.和Wegman，M.N.PDE1L：PL1L程序开发环境操作原则。研究报告RC8513，IBM，托马斯·沃森研究中心，纽约约克敦高地，1980年11月。

[20]

Pinc，J.H.和Schweppe，E.J.Fortran语言预测和提示系统。程序。ACM Nat.Conf.，佐治亚州亚特兰大，1973年。

数字图书馆

[21]

Reps，T.语法导向编辑器的最佳时间增量语义分析。技术报告编号81-453，公司部门。科学。，科尼乌大学，纽约州伊萨卡，1981年3月。

[22]

Skinner，G.Ged用户文档。公司部门。科学。，康奈尔大学，纽约州伊萨卡，

[23]

Teitelbaum，T.PL/CS的形式语法。技术报告76-281，公司部门。科学。，康奈尔大学，伊萨卡，纽约，1976年。

数字图书馆

[24]

Teitelbaum，T.康奈尔程序合成器：PL/CS的微机实现。技术报告编号TR79-370，公司部门。科学。，康奈尔大学，纽约州伊萨卡，1979年6月。

数字图书馆

[25]

Teitelbaum，T.康奈尔大学程序合成器：教程介绍。技术报告编号TR79-381，公司部门。科学。，康奈尔大学，伊萨卡，纽约，1979年7月，1980年1月修订。

[26]

Teitelman，W.INTERLISP参考手册。施乐PARC，1974年。

[27]

Teitelman，W.是面向显示的程序员助理。施乐PARC，1977年3月。

[28]

Wilcox，T.R.、Davis，A.M.和Tindall，M.H.。表驱动交互式诊断编程系统的设计和实现。通信ACM 19、11（1976年11月），609-616。

数字图书馆

[29]

Zelkowitz，M.作为诊断工具的可逆执行。计算机系博士论文。科学，康奈尔大学，纽约州伊萨卡，1971年1月。

数字图书馆

引用人

赵娥马鲁夫R杜基帕特A布林恩A平移Z奥马尔C(2024)带孔的总型误差定位与恢复美国计算机学会程序设计语言会议录10.1145/36329108：POPL(2041-2068)在线发布日期：2024年1月5日
迈尔斯B(2024)拾取、单击、轻触！未定义在线发布日期：2024年3月14日
田A周A王毅陈雷(2023)动态有向图中的最大D-桁架搜索VLDB捐赠会议记录10.14778/3598581.359859216:9(2199-2211)在线发布日期：2023年5月1日
显示更多引用者

索引术语

康奈尔程序合成器：一个语法导向的编程环境
1. 社交和专业话题
  1. 专业主题
    1. 计算和信息系统管理
      1. 软件管理
        软件维护
2. 软件及其工程
  1. 软件创建和管理
    1. 软件开发后问题
    2. 软件验证和确认
      1. 软件缺陷分析
        软件测试和调试

建议

Scratch编程语言与环境

Scratch是一个可视化编程环境，它允许用户（主要是8至16岁的用户）在学习计算机编程的同时，从事一些有个人意义的项目，如动画故事和游戏。Scratch的一个关键设计目标是支持自我。。。
一种面向对象的嵌套数据并行方法
第五届大规模并行计算前沿研讨会论文集

本文描述了一种将嵌套数据并行集成到面向对象语言中的实现技术。数据并行编程使用称为“集合”的数据聚合，并将并行表示为在。。。
两种面向对象语言的实际比较

作者比较了两种截然不同的面向对象编程语言Flavors和C++的优点，以及每种语言中的设计决策如何影响编程的各个方面。两者之间的根本区别。。。

评论

信息和贡献者

问询处

发布于

版权所有©1981 ACM。

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

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1981年9月1日

在CACM中发布体积24,问题9

权限

请求对此文章的权限。

检查更新

作者标记

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

632
引文总数
查看引文
1,539
总下载次数

下载次数（过去12个月）151
下载次数（最近6周）26

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

其他指标

查看作者指标

引文

引用人

赵娥摩洛哥红R杜基帕特A布林恩A平移Z奥马尔C(2024)带孔的总型误差定位与恢复美国计算机学会程序设计语言会议录10.1145/36329108：POPL(2041-2068)在线发布日期：2024年1月5日
迈尔斯B(2024)拾取、单击、轻触！未定义在线发布日期：2024年3月14日
田A周A王毅陈雷(2023)动态有向图中的最大D-桁架搜索VLDB捐赠会议记录10.14778/3598581.359859216:9(2199-2211)在线发布日期：2023年5月1日
科尔茨N安德烈亚克ADe Roover C公司臀部B谢赫A(2023)通过嵌入式投影编辑实现虚拟领域特定语言第22届ACM SIGPLAN生成性编程国际会议论文集：概念和经验10.1145/3624007.3624059(122-137)在线发布日期：2023年10月22日
戈伯特CBeaudouin-Lafon M公司(2023)Lorgnette：创建可延展代码投影第36届ACM用户界面软件与技术年会论文集10.1145/3586183.3606817(1-16)在线发布日期：2023年10月29日
贝克曼T钢筋PRamson S公司Bergsiek J公司Hirschfeld R公司(2023)面向所有人的结构化编辑：从语法派生可用的结构化编辑器2023年CHI计算机系统人为因素会议记录10.1145/3544548.3580785(1-16)在线发布日期：2023年4月19日
月亮D布林恩A奥马尔C(2023)带义务的渐进结构编辑2023年IEEE视觉语言与以人为本计算研讨会（VL/HCC）10.1109/VL-HCC57772.2023.00016(71-81)在线发布日期：2023年10月3日
麦克纳特A丘格R(2023)基于JSON的DSL的投影编辑器2023年IEEE视觉语言与以人为本计算研讨会（VL/HCC）10.1109/VL-HCC57772.2023.00015(60-70)在线发布日期：2023年10月3日
郑G李浩(2023)语法定向编辑器生成器（SEG）的设计与实现计算机科学与技术杂志2007年10月10日/BF029433071:4(39-48)在线发布日期：2023年3月22日
罗哈斯R罗哈斯R(2023)普兰卡尔库尔Konrad Zuse的早期计算机10.1007/978-3-031-39876-6_10(155-178)在线发布日期：2023年10月14日
显示更多引用者

视图选项

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

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

电子阅读器

获取访问权限

登录选项

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

完全访问权限

获取此文章

媒体

数字

其他

桌子

查看问题目录