×
Atsushi Ohori

多态性的类型定向专门化。 （英语） Zbl 1045.68505号

Inf.计算。 155，编号1-2，64-107（1999）.
概要：编程的灵活性和程序执行的效率是编程语言的两个重要特性。然而，不幸的是，这两个特性在现代静态类型编程语言的设计和实现中相互冲突。灵活性是通过高度多态性实现的，这种多态性是基于抽象计算模型中的通用原语，而效率要求优化使用专门用于单个数据结构的低级原语。这项工作的动机是通过开发一种基于静态类型信息专门化多态原语的机制来协调这两个特性。我们分析了现有的编译记录演算和未装箱演算的方法，提取了它们的通用结构，并开发了一个面向类型的多态专门化框架。

MSC公司：

68甲15 编程语言理论
68N20型 编译与解释理论
68问题55 计算理论中的语义学

关键词：

程序执行

软件：

哈斯克尔；毫升；TIL公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Ohori}，Inf.计算。155，编号1--2，64-107（1999；Zbl 1045.68505）
全文： DOI程序

参考文献：

[1] Alimohamed，M.，隐含多态性分类模型中lambda可定义性的表征，定理。计算。科学。，146, 5-23 (1995) ·Zbl 0873.68015号
[2] 阿佩尔·A·W。；MacQueen，D.B.，新泽西州标准ML，第三届编程语言和逻辑编程国际研讨会论文集（1991年），第1-13页
[3] Birkedal，L。；Harper，R.，《操作环境中递归类型的关系解释》，Proc。计算机软件的理论方面（1997），第458-490页·Zbl 0888.03016号
[4] Breazu-Tannen，V。；Coquand，T。；冈特，C.A。；Scedrov，A.，《作为明确强制的继承》，Inform。和计算。，93, 172-221 (1991) ·Zbl 0799.68129号
[5] Buneman，P。；Ohori，A.，数据库编程中的多态性和类型推理，ACM Trans。数据库系统，21，30-74（1996）
[6] Cardelli，L。；Wegner，P.，《关于理解类型、数据抽象和多态性》，计算。调查。，17471-522（1985年）
[7] 克雷利（Crary，K.）。；Weirich，S。；Morrisett，G.，类型提取语义中的内涵多态性，Proc。函数式程序设计国际会议（1998年），第301-312页·Zbl 1370.68046号
[8] Damas，L。；Milner，R.，《功能程序的主要类型方案》，Proc。美国计算机学会编程语言原理研讨会（1982年），第207-212页
[9] Elsman，M.，《多态性等式——无需标记》，《第二届编译类型国际研讨会论文集》，京都，1998年3月（1998年），第136-155页
[10] Girard，J.-Y.，《解释gödelál’analyse，et son application a l’elimination des coupures dans l'analyse et theéorie des types》，第二届斯堪的纳维亚逻辑研讨会（1971），北荷兰：北荷兰阿姆斯特丹，第63-92页·Zbl 0221.02013
[11] 霍尔，C。；哈蒙德，K。；Peyton Jones，S。；Wadler，P.，技术报告（1994年）
[12] 哈珀，R。；Mitchell，J.C.，《关于标准ML的类型结构》，ACM Trans。程序。语言系统，15211-252（1993）
[13] 哈珀，R。；Morrisett，G.，使用内涵类型分析编译多态性，Proc。ACM程序设计语言原理研讨会（1995），第130-141页
[14] 长谷川，M.，直觉主义线性类型理论的逻辑谓词，Proc。TLCA会议（1999），p.198-212·Zbl 0931.03036号
[15] Hudak，P。；Peyton Jones，S。；Wadler，P。；布特尔，B。；费尔贝恩，J。；法塞尔，J。；Guzman，M。；哈蒙德，K。；休斯，J。；Johnsson，T。；基伯茨，D。；Nikhil，R。；Partain，W。；Perterson，J.，《关于编程语言Haskel的报告——一种非严格的纯函数语言1.2版》，SIGPLAN通告，27（1992）
[16] Jones，M.，《限定类型理论》，Proc。员工持股计划研讨会（1992年），第287-306页
[17] Jones，M.，ML分型，显式多态性和限定类型，Proc。计算机软件的理论方面（1994），第56-75页·Zbl 0942.68616号
[18] Kahn，G.，《自然语义学》，Proc。计算机科学理论方面专题讨论会（1987年），Springer-Verlag:Springer-Verlag柏林/纽约，第22-39页·Zbl 0635.68007号
[19] Leroy，X.，《算法语言的多形性类型化》（1992），巴黎大学VII
[20] Leroy，X.，《未装箱对象和多态性类型》，Proc。美国计算机学会编程语言原理研讨会（1992年），第177-188页
[21] Leroy，X.，《技术报告》（1992年）
[22] Leroy，X.，《目标凸轮用户手册》（1997年），INRIA Rocquencourt:INRIA Rcquencoort Le Chesnay
[23] Milner，R.，《编程中的类型多态性理论》，J.Compute。系统科学。，17, 348-375 (1978) ·Zbl 0388.68003号
[24] 米尔纳，R。；托夫特，M。；Harper，R.，《标准ML的定义》（1990），麻省理工学院出版社：麻省理学院出版社剑桥
[25] Minamide，Y.，基于显式类型传递演算的编译，《富士函数和逻辑编程国际研讨会论文集》（1996），第301-320页
[26] Minamide，Y.，《带孔数据结构的函数表示法》，Proc。美国计算机学会编程语言原理研讨会（1998年），第75-84页
[27] 米那米，Y。；莫里塞特，G。；Harper，R.，类型闭包转换，ACM SIGPLAN-SIGACT编程语言原理研讨会论文集（1996），Assoc.Compute。马赫数：助理计算。马赫纽约，第271-283页
[28] Mitchell，J.C.，《编程语言的类型系统》（van Leeuwen，J.，《理论计算机科学手册》（1990），麻省理工学院出版社/爱思唯尔出版社：麻省理学学院出版社/爱思唯尔剑桥），365-458·Zbl 0900.68122号
[29] Ohori，A.，ML多态性的简单语义，ACM/IFIP函数编程语言和计算机体系结构会议论文集，伦敦，1989年9月（1989），第281-292页
[30] Ohori，A.，ML型多态性记录计算的编译方法，Proc。美国计算机学会编程语言原理研讨会（1992年），第154-165页
[31] Ohori，A.，《多态记录演算及其编译》，ACM Trans。程序。语言系统，17844-895（1995）
[32] Ohori，A。；Takamizawa，T.，作为多态语言抽象机的多态未混合演算，J.Lisp符号计算。，第10页，第61-91页（1997年）
[33] 彼得森，J。；Jones，M.，实现类型类，Proc。ACM编程语言设计与实现会议（1993年），第227-236页
[34] Peyton Jones，S.L。；Launchbury，J.，《非限定功能语言中作为一级公民的非限定价值观》，Proc。函数编程语言和计算机体系结构会议。程序。函数编程语言和计算机体系结构会议，计算机科学讲稿，523（1991），Springer-Verlag:Springer-Verlag Berlin/纽约，第636-666页
[35] Rémy，D.，可扩展记录的有效表示，Proc。ACM SIGPLAN ML及其应用研讨会（1994年），第12-16页
[36] Reynolds，J.C.，《朝向类型结构理论》，巴黎大学程序设计学院（1974），斯普林格·弗拉格：柏林/纽约斯普林格尔·弗拉格出版社，第408-425页·Zbl 0309.68016号
[37] Tarditi，D。；莫里塞特，G。；Cheng，P。；斯通，C。；哈珀，R。；Lee，P.，TIL:面向ML的类型优化编译器，《ACM SIGPLAN编程语言设计与实现会议论文集》（1996年），计算机协会。机器。按：关联计算。机器。纽约出版社，第181-192页
[38] 托夫特，M.，《操作语义和多形类型推断》（1988年），爱丁堡大学计算机科学系
[39] Tolmach，A.，使用显式类型参数的无标签垃圾收集，Proc。ACM Lisp和函数编程会议（1994），第1-11页
[40] Wright，A.K.，J.Lisp符号计算。，8, 343-355 (1995)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。