×
曼纽尔·塞拉诺；克里斯蒂安·奎因内克

Hop的多层语义。 （英语） Zbl 1256.68024号

高-订购符号。计算。 23，第4号，409-431（2010）.
摘要：Hop是一种多层编程语言，其中交互服务器和客户端的行为由单个程序表示。Hop遵循标准的web编程风格，服务器精心设计包含JavaScript代码的HTML页面。此JavaScript代码在本地响应用户的交互，但也会（遵循所谓的Ajax风格）从远程服务器请求服务。这些服务带回新的HTML片段，其中包含替换或修改客户端状态的其他JavaScript代码。
本文提出了一种基于连续的Hop序列子集的指称语义。虽然仅限于单个服务器和单个客户端，但此语义考虑了Hop的关键特性，即服务器详细说明要在客户端浏览器中运行的客户端代码。这个新的客户端代码动态地从服务器请求服务，服务器再次详细说明要在客户端浏览器中运行的新客户端代码。
该语义详细说明了Hop倡导的编程模型，并为未来的研究（如web应用程序的安全性和web延续）提供了良好的基础。

引用于2文件

MSC公司：

68甲15 编程语言理论
68英里11 互联网主题
第68季度55 计算理论中的语义学

关键词：

多层语言；web编程；语义学

软件：

单足蹦跳；链接；Flapjax公司；JavaScript脚本
PDF格式BibTeX公司 XML格式引用
\textit{M.Serrano}和\textit{C.Queinnec}，高-订购符号。计算。23，编号4409--431（2010年；Zbl 1256.68024）
全文： 内政部

参考文献：

[1] Chong，S.，Liu，J.，Myers，A.C.，Qi，X.，Vikram，K.，Zheng，L.，Zheng.X.：使用自动分区构建安全的web应用程序。Commun公司。ACM 52（2），79–87（2009）。doi:10.1145/1461928.1461949年·Zbl 05747700号 ·doi:10.1145/1461928.1461949年
[2] Chong，S.、Vikram，K.、Myers，A.C.：Sif：在web应用程序中加强保密性和完整性。In：程序。第16届USENIX Security（2007年）
[3] Cooper，E.，Lindley，S.，Wadler，P.，Yallop，J.：链接：没有层次的网络编程。参加：第五届组件和对象形式化方法国际研讨会（2006年）
[4] Cooper，E.，Wadler，P.：RPC演算。参加：葡萄牙科英布拉，声明性编程原则和实践国际会议（2009年）
[5] Cooper，G.，Krishnamurthi，S.：在调用值语言中嵌入动态数据流。摘自：《欧洲编程研讨会论文集》（ESOP’06），第194–308页（2006）·Zbl 1178.68123号
[6] Ganz，S.E.、Sabry，A.、Taha，W.：作为多阶段计算的宏：宏中的类型安全、生成、绑定宏。摘自：函数编程国际会议（ICFP'01），第74-85页。ACM出版社（2001）·Zbl 1323.68116号
[7] Jim，T.、Swammy，N.、Hicks，M.：使用浏览器增强的嵌入式策略战胜脚本注入攻击。参加：第16届国际万维网会议（WWW 2007）（2007）
[8] Kelsey，R.，Clinger，W.，Rees，J.：关于算法语言方案的修订（5）报告。高阶和符号计算11（1）（1998）
[9] Loitsch，F.，Serrano，M.：跳客户端编译。摘自：Morazán，M.T.（编辑）《函数编程趋势》，第8卷，第141-158页。Intellect，布里斯托尔（2008）
[10] Meyerovich，L.，Guha，A.，Baskin，J.，Cooper，G.，Greenberg，M.，Bromfield，A.，Krishnamurthi，S.：Flapjax：Ajax应用程序的编程语言。In:ACM SIGPLAN面向对象编程系统、语言和；应用程序（OOPSLA’09）。美国佛罗里达州奥兰多市（2009年）
[11] Mikkonen，T.，Taivalsaari，A.：网络应用程序——面向21世纪的意大利面代码。技术代表SMLI TR-2007-166，Sun Microsystems（2007）
[12] Murphy，T.、Crary，K.、Harper，R.：使用ML5进行类型安全的分布式编程。收录：值得信赖的全球计算（2007）。http://tom7.org/papers网站
[13] Neubauer，M.，Thiemann，P.：通过程序转换从顺序程序到多层应用程序。摘自：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集（POPL'05），第221-232页。ACM，纽约（2005）·兹比尔1369.68149
[14] Queinnec，C.：延续与网络服务器。高-订购符号。计算。17(4), 277–295 (2004) ·兹比尔02197202 ·doi:10.1007/s10990-004-4866-z
[15] Serrano，M.：HOP，漫反射网络的快速服务器。在：第11届国际协调模式和语言会议记录（Coordination'09，葡萄牙里斯本）。LNCS，第5521卷。施普林格，柏林（2009）
[16] Serrano，M.，Gallesio，E.，Loitsch，F.：HOP，一种用于编程Web2.0的语言。收录：第一届动态语言研讨会论文集。美国俄勒冈州波特兰市（2006年）
[17] Stoy，J.E.：指称语义学：编程语言理论的Scott-Strachey方法。麻省理工学院出版社，剑桥（1977）·Zbl 0503.68059号
[18] Taha，W.：多阶段编程简介。In：域特定程序生成。LNCS，第3016卷。施普林格，柏林（2004）。doi:10.1007/b98156
[19] Yang，F.等人：一个用于数据驱动的web应用程序的统一平台，具有自动客户端-服务器分区功能。摘自：第16届国际万维网会议（WWW’07），第341-350页。加拿大阿尔伯塔省（2007年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。