×

数学ZBZ-数学第一资源

节省空间的渐进式打字。(英语) Zbl 1232.68025
在静态代码和连续代码之间自由输入和平滑输入的混合体。这些语言和其他具有混合类型检查的语言的运行时系统通常通过动态生成函数代理来强制执行函数类型。然而,这种方法会导致代理数量的无限增长,这将极大地影响空间效率并破坏尾部递归。
我们提出了一种渐进式类型的语义,它基于强制而不是函数代理,并且在运行时结合相邻的强制来限制它们的空间消耗。我们证明了强制所消耗空间的界限以及类型系统的可靠性,证明了程序员可以安全地混合类型规程,而不会产生不合理的开销。我们的方法也比先前的工作更早地检测到某些错误。

理学硕士:
68N15 程序设计语言理论
68问55 计算理论中的语义学
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接
参考文献:
[1] 艾哈迈德,A.,芬德勒,R.B.,马修斯,J.,瓦德勒,P.:责怪所有人。In:脚本到程序演化研讨会(2009)·Zbl 1284.68156
[2] Birtwhistle,G.M.等人:Simula Begin。查特韦尔布拉特有限公司,布罗姆利(1979)
[三] Blume,M.,McAllester,D.:健全和完整的合同模型。J、 功能。程序。16(4-5),375-414(2006年)。ISSN 0956-7968。doi:10.1007/s10990-011-9066-z·Zbl 1122.68019号
[4] Bracha,G.:可插拔式系统。2004年10月:复兴动态语言讲习班
[5] Brus,T.,van Eekelen,M.,van Leer,M.,Plasmeijer,M.:Clean nnn函数图重写语言。在:Kahn,G.(编辑)函数式编程语言和计算机体系结构。计算机科学课堂讲稿,第274卷,第364-384页。斯普林格,柏林(1987)·Zbl 0633.68003
[6] 安珀,卡德利。在:关于组合子和函数式编程语言的LITP春季学校,第21-47页(1986年)
[7] Cardelli,L.,Donahue,J.,Glassman,L.,Jordan,M.,Kalsow,B.,Nelson,G.:模块3报告(修订版)。技术报告52,12月SRC(1989年)
[8] 钱伯斯,C.:Cecil语言规范和基本原理:3.0版。华盛顿大学(1998)
[9] Clements,J.:带连续标记的可移植的高级堆栈访问。东北大学博士论文(2005)
[10] Clements,J.,Felleisen,M.:带堆栈检查的尾部递归机器。ACM传输。程序。语言系统。第26卷第6期,第1029-1052页(2004年)·Zbl 05459252
[11] de Oliveira,R.B.:Boo编程语言(2005)
[12] ECMAScript版本4组wiki。Ecma国际(2007)
[13] ECMAScript语言规范。Ecma国际,第5版。(2009年)。网址http://www.ecma-international.org/publications/files/ecma-ST/ecma-262.pdf
[14] Findler,R.B.,Blume,M.:作为投影对的契约。国际函数与逻辑程序设计研讨会论文集,第226-241页(2006)·Zbl 1185.68193
[15] Findler,R.B.,Felleisen,M.:高阶函数的契约。In:ACM SIGPLAN国际函数编程会议(ICFP)会议记录,第48-59页,2002年10月·Zbl 1322.68039
[16] 弗拉纳根,C.:混合型检查。在:ACM SIGPLAN-SIGACT编程语言原理研讨会论文集(POPL),第245-256页(2006年)·Zbl 1370.68202
[17] 弗拉纳根,C.,弗伦德,S.N.,古墓,A.:命令式对象的混合类型、不变量和改进。在:面向对象语言的基础和发展国际研讨会(傻瓜/木头)(2006)
[18] Ganz,S.E.,Friedman,D.P.,Wand,M.:蹦床风格。In:ACM SIGPLAN国际函数编程会议(ICFP)会议记录,第18-27页(1999年)·Zbl 1345.68051
[19] Greenberg,M.,Pierce,B.,Weirich,S.:合同明确。(SIGACT-2010语言编程原则研讨会)·Zbl 1312.68133
[20] Gronski,J.,Knowles,K.,古墓,A.,Freund,S.N.,Flanagan,C.:Sage:灵活规范的混合检查。2006年9月:方案与功能程序设计研讨会
[21] Guha,A.,Matthews,J.,Findler,R.B.,Krishnamurthi,S.:相关参数多态契约。In:DLS,第29-40页(2007年)
[22] 动态类型:语法和证明理论。科学。计算机。程序。第22卷第3卷,第197-230页(1994年)·Zbl 0809.68083
[23] 赫尔曼,D.,古墓,A.,弗拉纳根,C.:节省空间的渐进式打字。In:函数式编程(TFP)趋势(2007)·Zbl 1232.68025
[24] Knowles,K.W.,Flanagan,C.:混合型检查。ACM传输。程序。语言系统。第32卷第2卷(2010年)
[25] Matthews,J.,Findler,R.B.:多语言程序的操作语义。在:ACM SIGPLAN-SIGACT编程语言原理研讨会论文集(2007)·Zbl 1295.68053
[26] Meijer,E.,Drayton,P.:尽可能使用静态类型,需要时使用动态类型。在:复兴动态语言研讨会(2005年)
[27] Minamide,Y.,Garrigue,J.:关于类型定向拆箱的运行时复杂性。在:ACM SIGPLAN国际函数编程会议(ICFP)会议记录,第1-12页(1998年)·Zbl 1369.68111
[28] Ou,X.,Tan,G.,Mandelbaum,Y.,Walker,D.:具有依赖类型的动态类型。在:IFIP国际理论计算机科学会议论文集,第437-450页(2004年)·Zbl 1088.68531
[29] Pil,M.:一级文件I/O。In:IFL'96:第八届函数语言实现国际研讨会论文选集,第233-246页,伦敦,英国。斯普林格,柏林(1997年)。国际标准书号3-540-63237-9
[30] Siek,J.,Wadler,P.:探索高阶铸件的设计空间。在:ACM SIGPLAN-SIGACT编程语言原理研讨会论文集(POPL)(2010)
[31] Siek,J.,Garcia,R.,Taha,W.:探索高阶铸件的设计空间。欧洲编程语言与系统研讨会论文集,第17-31页。斯普林格,柏林(2009)·Zbl 1234.68060
[32] Siek,J.G.,Taha,W.:函数式语言的渐进式输入。2006年9月:方案与功能程序设计研讨会
[33] Siek,J.G.,Taha,W.:对象的渐进式键入。在:欧洲面向对象编程会议(ECOOP)会议记录,德国柏林,2007年7月
[34] 从过渡语到语言的迁移。在:动态语言研讨会,2006年10月
[35] Tobin Hochstadt,S.,Felleisen,M.:类型化方案的设计与实现。在:ACM SIGPLAN-SIGACT编程语言原理研讨会论文集(POPL),第395-406页(2008)·Zbl 1295.68055
[36] Wallach,D.S.:移动代码安全的新方法。普林斯顿大学计算机科学系博士论文(1999年)
[37] 赖特:实用的软打字。赖斯大学博士论文(1998年8月)
[38] Xu,D.N.,Peyton Jones,S.L.,Claessen,K.:Haskell的静态合同检查。In:POPL,第41-52页(2009年)·Zbl 1315.68107
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。