×
杰里米·亚洛普;床单，大卫;阿尼尔·马达瓦佩迪

通过泛型编程进行声明性外部函数绑定。 （英语） 兹比尔1475.68098

Kiselyov，Oleg（编辑）等人，《功能和逻辑编程》。2016年3月4日至6日，第13届国际研讨会，FLOPS 2016，日本高知。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9613, 198-214 (2016).
摘要：外部功能接口通常是整体组织的，将规格每个外部函数的机制用于使函数在宿主语言中可用。这导致系统不灵活，从一种绑定机制切换到另一种机制（例如从动态绑定切换到静态代码生成）通常需要更改工具和重写大部分代码。
相反，将外部函数接口的设计作为通用程序设计这个问题允许以声明的方式编写外部函数规范，可以在各种绑定机制之间轻松切换——静态和动态、同步和异步等——而不需要更改规范。
关于整个系列，请参见[Zbl 1331.68016号].

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）

软件：

OCaml公司;重量（Lwt）;SWIG（开关）
PDF格式BibTeX公司 XML格式引用
\textit{J.Yallop}等人，Lect。注释计算。科学。9613，198--214（2016；Zbl 1475.68098）
全文： DOI程序

参考文献：

[1] Altenkirch，T.，McBride，C.：依赖类型编程中的泛型编程。摘自：IFIP TC2/WG2.1通用编程工作会议记录，第1–20页（2003年）·Zbl 1089.68529号 ·doi:10.1007/978-0-387-35672-3_1
[2] Beazley，D.M.:SWIG：一个易于使用的工具，用于将脚本语言与C和C++集成。参加：USENIX Tcl/Tk研讨会（1996年）
[3] Benke，M.，Dybjer，P.，Jansson，P.：依赖类型理论中泛型程序和证明的宇宙。Nord.J.计算。10(4), 265–289 (2003) ·Zbl 1094.68012号
[4] Blume，M.：非外来语言：教ML编译器“母语”说C。电子。注释理论。计算。科学。59(1), 36–52 (2001) ·doi:10.1016/S1571-0661（05）80452-9
[5] Carette，J.，Kiselyov，O.，Shan，C.：最终无标记，部分评估：用于简单类型语言的无标记阶段口译员。J.功能。程序。19(5), 509–543 (2009) ·Zbl 1191.68158号 ·doi:10.1017/S0956796809007205
[6] Cheney，J.，Hinze，R.：泛型和动力学的轻量级实现。收录于：Haskell 2002，第90-104页。ACM，纽约（2002）·电话：10.1145/581690.581698
[7] Danvy，O.，Malmkjr，K.，Palsberg，J.：Eta-扩展确实起到了作用。ACM事务处理。程序。语言系统。18(6), 730–751 (1996) ·doi:10.1145/236114.236119
[8] Furr，M.，Foster，J.S.：检查外部函数调用的类型安全性。摘自：PLDI 2005，第62-72页。ACM，纽约（2005）·数字对象标识代码：10.1145/1064978.1065019
[9] Gibbons，J.：数据类型通用编程。收录：Backhouse，R.，Gibbons，J.，Hinze，R.，Jeuring，J.（编辑）SSDGP 2006。LNCS，第4719卷，第1-71页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-76786-2_1
[10] Hinze，R.：大众泛指。J.功能。程序。16(4–5), 451–483 (2006) ·Zbl 1122.68022号 ·网址：10.1017/S0956796806006006022
[11] Karvonen，V.A.J.：工作MLer的泛型。在：ML 2007。ACM（2007）·doi:10.1145/1292535.1292547
[12] Kondoh，G.，Onodera，T.：查找java本机接口程序中的错误。摘自：ISSTA 2008，第109-118页。ACM（2008）·数字对象标识代码：10.1145/1390630.1390645
[13] Leroy，X.、Doligez，D.、Frisch，A.、Garrigue，J.、Rémy，D.、Vouillon，J.：OCaml系统（3.12版）：文档和用户手册。In:INRIA，2011年7月
[14] Li，S.，Tan，G.：使用仿射分析发现python/C程序中的引用计数错误。摘自：Jones，R.（编辑）ECOOP 2014。LNCS，第8586卷，第80–104页。斯普林格，海德堡（2014）·doi:10.1007/978-3-662-44202-94
[15] Nordström，B.，Peterson，K.，Smith，J.m.：《Martin-Löf类型理论中的编程：导论》。克拉伦登，纽约（1990年）·Zbl 0744.03029号
[16] Vouillon，J.：Lwt：一个协作线程库。输入：ML 2008。ACM（2008）·数字标识代码：10.1145/1411304.1411307
[17] Yang，Z.：类ML语言中的编码类型。在：ICFP 1998。ACM（1998）·Zbl 1369.68118号 ·数字对象标识代码：10.1145/289423.289458
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。