文件Open Access徽标

DOT的参考变异性

作者 弗拉斯蒂米尔·多特 , Ondřej Lhoták

PDF格式
缩略图PDF

文件

LIPIcs公司。ECOOP.20.18.pdf
  • 文件大小：0.49 MB
  • 28页

文件标识符

作者详细信息

弗拉斯蒂米尔·多特
  • 捷克共和国布拉格查尔斯大学
Ondřej Lhoták
  • 加拿大滑铁卢大学

基金

这项工作得到了捷克科学基金会项目18-17403S的部分支持，查尔斯大学流动基金的部分支持以及查尔斯大学机构资助项目SVV 260588的部分支持。这项研究得到了加拿大自然科学和工程研究委员会的支持。

引用为获取BibTex

弗拉斯蒂米尔·多特（Vlastimil Dort）和昂德（Ondřej Lhoták）。DOT的参考变异性。第34届欧洲面向对象编程会议（ECOOP 2020）。莱布尼茨国际信息学论文集（LIPIcs），第166卷，第18:1-18:28页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2020）
https://doi.org/10.4230/LIPIcs.ECOOP.2020.18

摘要

引用可变性是一种基于类型的技术，用于控制变异，这在Java中已经得到了深入研究。通过将引用可变性添加到依赖对象类型（DOT）演算中，我们探讨了引用可变性如何与Scala的特性交互。我们的扩展展示了如何使用现有的Scala特性（如路径依赖、交集和联合类型）对引用可变性进行编码。我们证明了我们的演算提供的类型稳健性和不变性保证。

主题分类

ACM科目分类
  • 软件及其工程→正式语言定义
  • 软件及其工程→面向对象语言
关键词
  • 参考突变性
  • 只读引用
  • DOT微积分

韵律学

工具书类

  1. 安德烈·亚历山大斯库。D编程语言。Addison-Wesley，上鞍河，新泽西州，2009年。谷歌学者
  2. 纳达·阿明（Nada Amin）、塞缪尔·格吕特（Samuel Grütter）、马丁·奥德斯基（Martin Odersky）、蒂亚克·隆普夫（Tiark Rompf）和桑德罗·斯塔基（Sandro Stucki）。依赖对象类型的本质。编辑Sam Lindley、Conor McBride、Philip W.Trinder和Donald Sannella，《改变世界的成功列表——在Philip Wadler 60岁生日之际献给他的文章》，《计算机科学讲义》第9600卷，第249-272页。斯普林格，2016年。网址：https://doi.org/10.1007/978-3-319-30936-1_14.
  3. 纳达·阿明（Nada Amin）、蒂亚克·隆普夫（Tiark Rompf）和马丁·奥德斯基（Martin Odersky）。路径相关类型的基础。Andrew P.Black和Todd D.Millstein，编辑，《2014年ACM面向对象编程系统语言与应用国际会议论文集》，OOPSLA 2014，SPLASH 2014的一部分，美国俄勒冈州波特兰，2014年10月20日至24日，第233-249页。ACM，2014年。网址：https://doi.org/10.1145/2660193.2660216.
  4. Sylvan Clebsch、Sophia Drossopoulou、Sebastian Blessing和Andy McNeil。拒绝为安全快速的参与者提供功能。编辑Elisa Gonzalez Boix、Philipp Haller、Alessandro Ricci和Carlos Varela，第五届基于演员、代理和分散控制的编程国际研讨会论文集，AGERE！2015年10月26日，美国宾夕法尼亚州匹兹堡，第1-12页。ACM，2015年。网址：https://doi.org/10.1145/2824815.28224816.
  5. Michael J.Coblenz、Whitney Nelson、Jonathan Aldrich、Brad A.Myers和Joshua Sunshine。冰川：java的可传递类不变性。塞巴斯蒂安·乌奇特尔（Sebastián Uchitel）、亚历山德罗·奥尔索（Alessandro Orso）和马丁·罗比拉德（Martin P.Robillard），编辑，《第39届国际软件工程会议论文集》，2017年ICSE，阿根廷布宜诺斯艾利斯，2017年5月20日至28日，第496-506页。IEEE/ACM，2017年。网址：https://doi.org/10.109/ICSE.2017.52.
  6. 弗拉斯蒂米尔·多特（Vlastimil Dort）和昂德（Ondřej Lhoták）。DOT-roDOT定义和证明的参考可变性。《技术报告D3S-TR-2020-01》，查尔斯大学分布式和可靠系统系，2020年。谷歌学者
  7. 科林·S·戈登（Colin S.Gordon）、马修·J·帕金森（Matthew J.Parkinson）、贾里德·帕森斯（Jared Parsons）、阿列克斯·布罗姆菲尔德（Aleks Bromfield）和乔·达菲（Joe Duffy）。安全并行的唯一性和引用不变性。在第27届ACM SIGPLAN面向对象编程、系统、语言和应用年度会议记录中，OOPSLA 2012，SPLASH 2012的一部分，美国亚利桑那州图森市，2012年10月21-25日，第21-40页。网址：https://doi.org/10.1145/2384616.2384619.
  8. Philipp Haller和Ludvig Axelsson。量化并解释标量中的不变性。在并发与通信软件编程语言方法第十次研讨会论文集中，地点@ETAPS2017年4月29日，瑞典乌普萨拉，2017年，第21-27页。网址：https://doi.org/10.4204/EPTCS.246.5.
  9. Jason Z.S.Hu和Ondřej Lhoták。D<：及其可判定片段的不可判定性。PACMPL，4（POPL）：2020年9月1日至9月30日。网址：https://doi.org/10.1145/3371077.
  10. Wei Huang、Ana Milanova、Werner Ditel和Michael D.Ernst。ReIm&ReImInfer：检查和推断参考不变性和方法纯度。2012年10月21日至25日，美国亚利桑那州图森市，《面向对象编程、系统、语言和应用第27届ACM SIGPLAN年会论文集》，OOPSLA 2012，SPLASH 2012的一部分，第879-896页。网址：https://doi.org/10.1145/2384616.2384680.
  11. Atsushi Igarashi、Benjamin C.Pierce和Philip Wadler。Featherweight Java：Java和GJ的最小核心演算。ACM事务处理。程序。语言系统。，23(3):396-450, 2001. 网址：https://doi.org/10.1145/503502.503505.
  12. Ifaz Kabir和Ondřej Lhoták。κDOT：用突变和构建体缩放DOT。在第九届ACM SIGPLAN Scala国际研讨会上，ICFP的SCALA2018年9月28日，美国密苏里州圣路易斯，2018年，第40-50页。网址：https://doi.org/10.1145/3241653.3241659.
  13. 马修·帕皮（Matthew M.Papi）、马哈茂德·阿里（Mahmood Ali）、特尔莫·路易斯·科雷亚（Telmo Luis Correa Jr.）、杰夫·H·珀金斯（Jeff H.Perkins）和迈克尔·D·恩斯特（Michael D.Ernst）。适用于Java的实用可插拔类型。Barbara G.Ryder和Andreas Zeller，编辑，ACM/SIGSOFT软件测试与分析国际研讨会论文集，ISSTA 2008，美国华盛顿州西雅图，2008年7月20-24日，第201-212页。ACM，2008年。网址：https://doi.org/10.1145/1390630.1390656.
  14. 玛丽安娜·拉波波特（Marianna Rapoport）、伊法兹·卡比尔（Ifaz Kabir）、保罗·何（Paul He）和昂德·伊杰·洛塔克（Ondřej Lhoták）。依赖对象类型的简单可靠证明。PACMPL，1（OOPSLA）：46:1-46:27，2017年。网址：https://doi.org/10.1145/3133870.
  15. 玛丽安娜·拉波波特（Marianna Rapoport）和昂德·ej Lhoták。可变WadlerFest DOT。2017年6月20日，西班牙巴塞罗那，第19届Java类程序正式技术研讨会会议记录，2017年7月1日至7日，第7页。网址：https://doi.org/10.1145/3103111.3104036.
  16. Tiark Rompf和Nada Amin。依赖对象类型（DOT）的类型可靠性。编辑Eelco Visser和Yannis Smaragdakis，《2016年ACM SIGPLAN面向对象编程、系统、语言和应用国际会议论文集》，OOPSLA 2016，SPLASH 2016的一部分，荷兰阿姆斯特丹，2016年10月30日至11月4日，第624-641页。ACM，2016年。网址：https://doi.org/10.1145/2983990.2984008.
  17. 乔治·斯特德。Pony中功能的原则性设计。网址：https://www.ponylang.io/media/papers/a_priniciled_design_of_capabilities_in_pony.pdf.
  18. 本贾尼·斯特劳斯特卢普。C++编程语言。Addison-Wesley，新泽西州上鞍河，2013年。谷歌学者
  19. Matthew S.Tschantz和Michael D.Ernst。Javari：为Java添加引用不变性。《第20届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集》，OOPSLA 2005年10月16-20日，美国加利福尼亚州圣地亚哥，第211-230页，2005年。网址：https://doi.org/10.1145/1094811.1094828.
  20. 尤夫·齐宾（Yoav Zibin）、亚历克斯·波塔宁（Alex Potanin）、马哈茂德·阿里（Mahmood Ali）、谢·阿尔茨（Shay Artzi）、亚当·基赞（Adam Kiezun）和迈克尔·D·恩斯特。使用Java泛型实现对象和引用的不变性。2007年9月3日至7日在克罗地亚杜布罗夫尼克举行的第六届欧洲软件工程会议和ACM SIGSOFT国际软件工程基础研讨会的会议记录，第75-84页。网址：https://doi.org/10.1145/1287624.1287637.
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人