第条

免费访问

干扰的句法控制

作者:

约翰·C·。雷诺数作者信息和声明

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

1978年1月

页39-46

https://doi.org/10.1145/512760.512766

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

PDF格式电子阅读器

摘要

在既允许赋值又允许过程的编程语言中，不同的标识符可以表示共享存储或具有干扰副作用的过程的数据结构。除了是编程错误的直接来源外，这种现象（我们称之为干扰）还会影响类型结构和并行性。我们展示了如何通过施加语法限制来消除这些困难，而不禁止高阶过程或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:操作系统结构概念。通信ACM 17（1974年10月），第549-557页。]]

数字图书馆

谷歌学者

[5]

Brinch-Hansen，P.结构化多道程序设计。Comm.ACM 15（1972年7月），第574-577页。]]

数字图书馆

谷歌学者

[6]

程序和参数：公理方法。在算法语言语义研讨会上（编辑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]

Friedman，D.P.和Wise，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页。]]

谷歌学者

引用人

查看全部

李杰Aytac J公司Johnson-Freyd P公司艾哈迈德·A霍尔岑S索博辛斯基P拉戈大学埃斯帕尔扎J(2024)概率分离逻辑的标称方法第39届ACM/IEEE计算机科学逻辑年会论文集10.1145/3661814.3662135(1-14)在线发布日期：2024年7月8日
https://dl.acm.org/doi/10.1145/366814.3662135
徐YBoruch-Gruszecki A公司奥德斯基M(2024)分离度：一种用于安全并发的灵活类型系统美国计算机学会程序设计语言会议录10.1145/36498538：OOPSLA1(1181-1207)在线发布日期：2024年4月29日
https://doi.org/10.1145/3649853
韦斯特里克S阿罗拉J阿卡尔U(2022)成本接近零的纠缠检测美国计算机学会程序设计语言会议录10.1145/35476466：ICFP(679-710)在线发布日期：2022年8月31日
https://dl.acm.org/doi/10.1145/3547646网址
显示更多引用者

干扰的句法控制
1. 软件及其工程
  1. 软件符号和工具
    1. 通用编程语言

建议

下行MC-CDMA系统中基于空间分集的干扰抵消

现代无线通信需要高效的频谱利用率以及高信道容量和吞吐量。本文介绍了多输入多输出（MIMO）、线性均衡器、多用户检测和多载波码分多址（MC-CDMA）技术。。。
阅读更多信息
低干扰条件下MIMO干扰信道的总容量

最近研究表明，在低干扰情况下，使用高斯输入并将干扰视为接收机处的噪声，可以实现双用户单输入单输出（SISO）高斯干扰信道的总容量，其中。。。
阅读更多信息
具有迫零连续干扰消除的多码MC-CDMA的最优功率分配控制

多载波CDMA（MC-CDMA）以其对频率选择性衰落的鲁棒性和处理多数据速率的灵活性成为未来无线多媒体通信的一个很有希望的候选方案。在不同的多速率接入方案中。。。
阅读更多信息

信息和贡献者

问询处

发布时间

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

1978年1月

264页

国际标准图书编号：9781450373487

内政部：10.1145/512760

会议主席：
阿尔弗雷德·阿霍
新泽西州默里山贝尔实验室
,
斯蒂芬·齐勒斯
IBM，加利福尼亚州圣何塞
,
项目主席：
托马斯·希曼斯基
普林斯顿大学，新泽西州普林斯顿

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

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1978年1月1日

权限

请求对此文章的权限。

请求权限

检查更新

限定符

第条

接受率

POPL’78论文接受率135份提交中的27份，20%；

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

即将召开的会议

府绸'25

赞助商：
信号平面图

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

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

170
引文总数
查看引文
888
总下载次数

下载量（最近12个月）96
下载次数（最近6周）17

其他指标

查看作者指标

引文

引用人

查看全部

李杰Aytac J公司Johnson-Freyd P公司艾哈迈德·A霍尔岑S索博辛斯基P拉戈大学埃斯帕尔扎J(2024)概率分离逻辑的标称方法第39届ACM/IEEE计算机科学逻辑年会论文集10.1145/3661814.3662135(1-14)在线发布日期：2024年7月8日
https://dl.acm.org/doi/10.1145/366814.3662135
徐YBoruch-Gruszecki A公司奥德斯基M(2024)分离度：一种用于安全并发的灵活类型系统美国计算机学会程序设计语言会议录10.1145/36498538：OOPSLA1(1181-1207)在线发布日期：2024年4月29日
https://doi.org/10.1145/3649853
韦斯特里克S阿罗拉J阿卡尔大学(2022)成本接近零的纠缠检测美国计算机学会程序设计语言会议录10.1145/35476466：ICFP(679-710)在线发布日期：2022年8月31日
https://dl.acm.org/doi/10.1145/3547646
奥德斯基MBoruch-Gruszecki A公司Brachthä用户J李·E洛塔克O理查·福伊JDoeraene S公司(2021)Scala更安全的例外第十二届ACM SIGPLAN Scala国际研讨会会议记录10.1145/3486610.3486893(1-11)在线发布日期：2021年10月17日
https://dl.acm.org/doi/10.1145/3486610.3486893
包Y魏G布拉切瓦茨O姜瑜何QRompf T公司(2021)可达性类型：跟踪高阶函数程序中的混叠和分离美国计算机学会程序设计语言会议录10.1145/34855165：OOPSLA公司(1-32)在线发布日期：2021年10月15日
https://dl.acm.org/doi/10.1145/3485516
帕夫利诺维奇Z苏YWies T公司(2021)数据流细化类型推断美国计算机学会程序设计语言会议录10.1145/34343005：POPL(1-31)在线发布日期：2021年1月4日
https://dl.acm.org/doi/10.1145/3434300
阿罗拉J韦斯特里克S阿卡尔U(2021)空间效率高的并行函数编程美国计算机学会程序设计语言会议录10.1145/34342995：POPL(1-33)在线发布日期：2021年1月4日
https://dl.acm.org/doi/10.1145/3434299
耆那教A霍洛维茨ASchoeller F公司Leigh S公司梅斯·PSra M公司(2020)设计超越意识控制的交互ACM互动、移动、穿戴和普及技术会议录10.1145/34118294:3(1-23)在线发布日期：2020年9月4日
https://dl.acm.org/doi/10.1145/3411829
江S最小W吕Y刘莉（Liu L）(2020)基于多视图表示学习的少镜头食品识别ACM多媒体计算、通信和应用汇刊10.1145/339162416:3(1-20)在线发布日期：2020年7月14日
https://dl.acm.org/doi/10.1145/3391624
莱尔德J(2020)高阶计算的加权模型信息与计算2016年10月10日/j.ic.2020.104645(104645)在线发布日期：2020年11月
https://doi.org/10.1016/j.ic.2020.104645
显示更多引用者

引用人

建议

下行MC-CDMA系统中基于空间分集的干扰抵消

低干扰条件下MIMO干扰信道的总容量

具有迫零连续干扰消除的多码MC-CDMA的最优功率分配控制

评论

发布时间

赞助商

出版商

出版历史

权限

检查更新

限定符

接受率

即将召开的会议

其他指标

文章指标

其他指标

引用人

PDF格式

电子阅读器

登录选项

完全访问权限

摘要

工具书类

引用人

建议

下行MC-CDMA系统中基于空间分集的干扰抵消

低干扰条件下MIMO干扰信道的总容量

具有迫零连续干扰消除的多码MC-CDMA的最优功率分配控制

评论

问询处

发布时间

赞助商

出版商

出版历史

权限

检查更新

限定符

接受率

即将召开的会议

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

查看选项

PDF格式

电子阅读器

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司