×

兹马思-数学第一资源

伊莱姆:用于无层web编程的核心ML语言。(英语) Zbl 06667502
Igarashi,Atsushi(编辑),编程语言和系统。第14届亚洲研讨会,APLAS 2016,越南河内,2016年11月21-23日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10017377-397(2016年)。
小结:伊莱姆是一种方言OCaml公司用于web编程,其中服务器和客户机代码片段可以使用语法注释混合在同一个文件中。这允许将整个应用程序构建为一个单独的分布式程序,在这种程序中,可以用组合的方式定义具有服务器和客户端行为的可重用小部件。我们的语言还支持简单和类型安全的通信。伊莱姆通过允许程序员在保持高效的单向服务器到客户机通信的同时交错客户端和服务器代码,匹配Web的特殊性。这个伊莱姆语言既足够小,可以在现有语言的基础上实现,又足够强大,可以表达web编程的许多习惯用法{
}在本文中,我们提出了一个形式化的核心语言伊莱姆. 我们提供了一个类型系统、执行模型和编译方案。
整个系列请参见[Zbl 1347.68009].

理学硕士:
68牛顿 软件理论
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Balat,V.:客户机-服务器web应用程序小部件。网址:WWW 2013 Dev Track(2013)
[2] Balat,V.:反思传统web交互:理论与实现。国际互联网技术杂志。63–74年(2014年)
[3] Balat,V.,Chambart,P.,Henry,G.:使用Ocsigen的客户机-服务器web应用程序。网址:WWW.2012 Dev Track,p。592012年4月,法国里昂
[4] Balat,V.,Vouillon,J.,Yakobowski,B.:经验报告:Ocsigen,一个web编程框架。In:ICFP,第311-316页。ACM(2009年)
[5] 贝斯波特。http://www.besport.com/
[6] Boudol,G.,Luo,Z.,Rezk,T.,Serrano,M.:关于web应用程序的推理:HOP的操作语义。翻译。程序。语言系统。第34卷第2页,第10页(2012年)
[7] Chlipala,A:一个纯功能web应用程序语言的优化编译器。输入:ICFP(2015)·Zbl 06713852
[八] Chlipala,A.:Ur/Web:一个简单的网络编程模型。输入:POPL(2015)
[9] Chong,S.,Liu,J.,Myers,A.C.,Qi,X.,Vikram,K.,Zheng,L.,Zheng,X.:通过自动分区保护web应用程序。入:SOSP 2007(2007)
[10] Cooper,E.,Lindley,S.,Wadler,P.,Yallop,J.:链接:无层的web编程。作者:Boer,F.S.,Bonsangue,M.M.,Graf,S.,Roever,W.-P.(编辑)FMCO 2006。LNCS,第4709卷,第266-296页。斯普林格,海德堡(2007年)。doi:10.1007/978-3-540-74792-5_12·Zbl 05344440
[11] Ekblad,A.,Claessen,K.:用于类型安全web应用程序的无缝、以客户机为中心的编程模型。在:2014年(2014年)Haskell SIGPLAN Haskell研讨会
[12] Eliom网站。http://ocsigen.org/
[13] 纽约大学Gencore。http://gencore.bio.nyu.edu/
[14] Kiselyov,O.:BER MetaOCaml系统描述的设计与实现。入:失败(2014)·Zbl 06320256
[15] 流星.js。http://meteor.com
[16] Ocsigen工具箱。http://ocsigen.org/ocsigen-toolkit网站/
[17] 网站Opa。http://opalang.org/
[18] Philips,L.,De Roover,C.,Van Cutsem,T.,De Meuter,W.:在没有分层语言的情况下实现无层web开发。In:前进!2014年(2014年)
[19] 普格拉纳。http://www.pumgrana.com/
[20] 谢勒,G.,沃伦,J.:猕猴:审问的基本原则和灵活性。In:21ème法语国家语言应用杂志(2010)
[21] Serrano,M.,Queinnec,C.:Hop的多层语义。高阶符号计算。23(4),409–431(2010年)·Zbl 1256.68024
[22] Tyxml公司。http://ocsigen.org/tyxml/
[23] Vouillon,J.:Lwt:一个协作线程库。In:ACM ML研讨会(2008年)
[24] Vouillon,J.,Balat,V.:从字节码到JavaScript:uocaml编译器的Js_。软。实践。体验44(8),951–972(2014)
[25] White,L.,Bour,F.,Yallop,J.:模块隐式。In:ML研讨会(2014)
[26] Wright,A.K.,Felleisen,M.:对类型稳健性的句法分析。信息计算机。第115卷第1页,第38-94页(1994年)·Zbl 0938.68559
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。