跳到主要内容
10.1145/512760.512766acm会议文章/章节视图摘要出版物页面波普尔会议记录会议集合
第条
免费访问

干扰的句法控制

出版:1978年1月1日出版历史记录

摘要

在既允许赋值又允许过程的编程语言中,不同的标识符可以表示共享存储或具有干扰副作用的过程的数据结构。除了是编程错误的直接来源外,这种现象(我们称之为干扰)还会影响类型结构和并行性。我们展示了如何通过施加语法限制来消除这些困难,而不禁止高阶过程或SIMULA类中出现的构造性干扰。基本思想是禁止标识符之间的干扰,但允许由单个标识符命名的集合的组件之间的干扰。

工具书类

  1. Wirth,N.编程语言PASCAL。《信息学报》第1期(1971年),第35-63页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  2. van Wijngaarden,A.(编辑)、Mailloux,B.J.、Peck,J.E.L和Koster,C.H.A.关于算法语言ALGOL 68的报告。MR 101,Mathematisch Centrum,阿姆斯特丹,1969年2月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  3. 走向并行编程理论。《操作系统技术》,学术出版社,纽约,1972年。]]谷歌学者谷歌学者
  4. Hoare,C.A.R.Monitors:操作系统结构概念。Comm.ACM 17(1974年10月),第549-557页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  5. Brinch-Hansen,P.结构化多道程序设计。Comm.ACM 15(1972年7月),第574-577页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  6. 霍尔,C.A.R.程序和参数:公理化方法。在算法语言语义研讨会上(编辑E.Engeler)。施普林格,柏林-海德堡-纽约,1971年。]]谷歌学者谷歌学者
  7. Popek,G.J.,Horning,J.J.、Lampson,B.W.、Mitchell,J.G.和London,R.L.《欧几里得设计笔记》。在ACM可靠软件语言设计会议记录中,SIGPLAN通知12,第3号(1977年3月),第11-18页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  8. Dahl,O.-J.《分层程序结构》。《结构化编程》,学术出版社,纽约,1972年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  9. Curry,H.B.和Feys,R.组合逻辑,第一卷,北荷兰,阿姆斯特丹,1958年。]]谷歌学者谷歌学者
  10. 《ALGOL 60和Church的Lambda符号之间的通信》,P.J.Landin著。通信ACM 8(1965年2月和3月),第89-101和158-165页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  11. Henderson,P.和Morris,J.H.,Jr.《懒惰的评估者》。第三届ACM编程语言原理研讨会(1976年),第95-103页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  12. 弗里德曼、D.P.和怀斯、D.S.CONS不应评估其论点。第三届国际自动化、语言和编程学术讨论会,爱丁堡大学出版社,1976年,第257-284页。]]谷歌学者谷歌学者
  13. Hoare,C.A.R.数据表示正确性的证明。信息学报1,第271-281页(1972年)。]]谷歌学者谷歌学者数字图书馆数字图书馆
  14. Reynolds,J.C.用户定义类型和程序数据结构作为数据抽象的补充方法。《1975年算法语言新方向》,S.A.Schuman编辑,I.R.I.A.1975,第157-168页。]]谷歌学者谷歌学者
  1. 干扰的句法控制

    建议

    评论

    登录选项

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

    登录

    完全访问权限

    • 发布于

      封面图片ACM会议
      POPL’78:第五届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录
      1978年1月
      264页
      国际标准图书编号:9781450373487
      内政部:10.1145/512760

      版权所有©1978 ACM

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

      出版商

      计算机协会

      美国纽约州纽约市

      出版历史记录

      • 出版:1978年1月1日

      权限

      请求有关此文章的权限。

      请求权限

      检查更新

      限定符

      • 第条

      验收费率

      78年流行音乐纸张接受率27属于135提交文件,20%总体验收率824属于4,130提交文件,20%

      即将召开的会议

      流行乐'25
      第52届ACM SIGPLAN编程语言原理年会
      2025年1月19日至25日
      丹佛,CO,美国

    PDF格式

    以PDF文件查看或下载。

    PDF格式

    电子阅读器

    使用eReader联机查看。

    电子阅读器