×
克里希纳穆提，施莱姆;霍普金斯，彼得·沃尔顿;麦卡锡，杰伊;Paul T.Graunke。;格雷格·佩蒂约翰;马提亚斯·费莱森

PLT方案web服务器的实现和使用。 （英语） Zbl 1129.68330号

高-订购符号。计算。 20，第4期，431-460（2007）.
概要：PLT Scheme Web Server使用延续来实现自然的、类似控制台的程序开发风格。我们描述了服务器的实现及其在开发用于管理会议论文评论的应用程序中的使用。在开发这个应用程序的过程中，我们遇到了一些微妙的交互形式，这些交互形式没有通过使用延续直接解决。我们讨论了这些微妙之处，并提供了已在我们的应用程序中成功部署的解决方案。最后，我们介绍了服务器性能的一些细节，它与广泛使用的Apache Web服务器的性能相当。

引用于1文件

MSC公司：

68M10个 计算机系统中的网络设计与通信

关键词：

方案;网状物;互动;续;性能;应用;会议管理

软件：

海滨;LAML灯;哈斯克尔;DrScheme博士
PDF格式BibTeX公司 XML格式引用
\textit{S.Krishnamurthi}等人，高-订购符号。计算。20，第4号，431--460（2007；Zbl 1129.68330）
全文： 内政部

参考文献：

[1] Amdahl，G.M.：实现大规模计算能力的单处理器方法的有效性。摘自：AFIPS会议记录，第30卷，第483–485页（1967年）
[2] Aron，M.、Sanders，D.、Druschel，P.、Zwaenepoel，W.：基于集群的网络服务器中可扩展的内容感知请求分发。收录于：USENIX年度技术会议，第323–336页（2000）
[3] Banga，G.，Druschel，P.：测量实际负载下Web服务器的容量。万维网2（1–2），69–83（1999）·doi:10.1023/A:1019292504731
[4] Banga，G.，Druschel，P.，Mogul，J.：资源容器：服务器系统中资源管理的新工具。摘自：操作系统设计与实现研讨会，第45-58页（1999年）
[5] Brabrand，C.，Møller，A.，Schwartzbach，M.I.：＜bigwig＞项目。ACM事务处理。互联网技术。2(2), 79–114 (2002) ·doi:10.1145/514183.514184
[6] Bray，T.、Paoli，J.、Sperberg-McQueen，C.：可扩展标记语言XML。万维网联盟技术报告。版本1.0（1998）
[7] Cejtin，H.、Jagannathan，S.、Kelsey，R.：高阶分布式对象。ACM事务处理。程序。语言系统。17(5), 704–739 (1995) ·doi:10.1145/213978.213986
[8] Christensen，A.S.、Möller，A.、Schwartzbach，M.I.：为高级Web服务构建扩展Java。ACM事务处理。程序。语言系统。25(6), 814–875 (2003) ·数字对象标识代码：10.1145/945885.945890
[9] Coward，D.：Java Servlet规范2.3版（2000年）。http://java.sun.com/products/servlet/index.html
[10] 丹薇：回到直接风格。科学。计算。程序。22（3），183–195（1994）·Zbl 0808.68051号 ·doi:10.1016/0167-6423（94）00003-4
[11] Ducasse，S.、Lienhard，A.、Renggli，L.：Seaside–一个多控制流Web应用程序框架。In:European Smalltalk User Group–Research Track（2004）
[12] Felleisen，M.：开发交互式网络程序。收录：Jeuring，J.，Peyton Jones，S.（编辑）高级函数编程学校。计算机科学课堂讲稿，第2638卷，第100-128页。施普林格，纽约（2003）
[13] Findler，R.B.，Clements，J.，Flanagan，C.，Flatt，M.，Krishnamurthi，S.，Steckler，P.，Felleisen，M.：DrScheme：方案的编程环境。J.功能。程序。12(2), 159–182 (2002) ·Zbl 0987.68610号 ·doi:10.1017/S095679680104208
[14] 费舍尔，M.J.：兰姆达微积分图式。ACM SIGPLAN非。7(1), 104–109 (1972). 在ACM关于证明程序断言的会议上·doi:10.1145/942578.807077
[15] Fisler，K.、Krishnamurthi，S.、Meyerovich，L.A.、Tschantz，M.C.：访问控制政策的验证和变化影响分析。摘自：软件工程国际会议，第196-205页（2005）
[16] Flatt，M.，Felleisen，M.：HOT语言的酷模块。摘自：ACM SIGPLAN编程语言设计与实现会议，第236-248页（1998年）
[17] Flatt，M.，Findler，R.B.，Krishnamurthi，S.，Felleisen，M.：作为操作系统的编程语言（或口齿不清机器之子的复仇）。摘自：ACM SIGPLAN函数式编程国际会议，第138-147页（1999）
[18] Graham，P.：基于Web的应用程序的Lisp（2001）。网址：http://www.paulgraham.com/lwba.html
[19] Graunke，P.T.、Krishnamurthi，S.、van der Hoeven，S.和Felleisen，M.：用高级编程语言编程Web。摘自：欧洲编程研讨会，第122–136页（2001年）·Zbl 0977.68732号
[20] Herman，D.：WebPostRedirectGet（2005）。http://schemecookbook.org/Cookbook/WebPostRedirectGet
[21] Hopkins，P.W.：通过发送/挂起/调度在Web应用程序中启用复杂UI。摘自：方案研讨会，第53-58页（2003年）
[22] 休斯，J.：将单子概括为箭头。科学。计算。程序。37(1–3), 67–111 (2000) ·Zbl 0954.68034号 ·doi:10.1016/S0167-6423（99）00023-4
[23] Kiselyov，O.：SXML规范。ACM SIGPLAN非。37(6), 52–58 (2002) ·数字对象标识代码：10.1145/571727.571736
[24] Krishnamurthi，S.：继续服务器。在：陈述式语言的实践方面研讨会，第2-16页（2003年）
[25] Krishnamurthi，S.，Findler，R.B.，Graunke，P.，Felleisen，M.：建模Web交互和错误。收录于：Goldin，D.、Smolka，S.A.、Wegner，P.（编辑）《交互式计算：新范式》，第255-276页。斯普林格（2006）·Zbl 1266.68037号
[26] Krishnamurthi，S.、Gray，K.E.、Graunke，P.T.：XML的转换示例。摘自：《声明性语言的实际方面专题讨论会》，第249-262页（2000年）
[27] Kristol，D.，Montulli，L.：HTTP状态管理机制。IETF RFC 2965（2000）。http://www.ietf.org/rfc/rfc2965.txt
[28] Ladd，D.A.，Ramming，J.C.：网络编程：一种面向应用程序的超媒体服务编程语言。参加：国际万维网会议（1995年）
[29] Lawall，J.L.，Friedman，D.P.：走向泄漏控制。技术报告TR-346，印第安纳大学，印第安纳州布卢明顿，美国（1992）
[30] Matthews，J.、Findler，R.B.、Graunke，P.T.、Krishnamurthi，S.、Felleisen，M.：自动重组网络程序。自动。柔和。《工程师杂志》11（4），337–364（2004）·doi:10.1023/B:澳大利亚0000038936.09009.69
[31] Meijer，E.，van Velzen，D.：Haskell服务器页面——功能编程和中间层之战。电子。注释Theor。计算。科学。41(1). ACM SIGPLAN Haskell研讨会会议记录（2000年）
[32] Miller，S.G.：SISC：Java中的完整方案解释器（2003）。http://sisc.sourceforge.net/sisc.pdf
[33] NCSA，通用网关接口。网址：http://hoohoo.ncsa.iuc.edu/cgi/
[34] Nörmark，K.：使用LAML进行Web编程。J.功能。程序。15(1), 53–65 (2005) ·Zbl 1063.68038号 ·doi:10.1017/S0956796804005350
[35] Open Market，Inc.，FastCGI规范。http://www.fastcgi.com网站/
[36] Pai，V.S.，Druschel，P.，Zwaenepoel，W.：Flash：一种高效且可移植的Web服务器。收录于：USENIX年度技术会议，第199–212页（1999）
[37] Pai，V.S.，Druschel，P.，Zwaenepoel，W.：IO-Lite：统一的I/O缓冲和缓存系统。摘自：第三届操作系统设计与实现研讨会，第15-28页（1999年）
[38] 皮特曼，K.：口齿不清的特殊形式。收录于：《里斯本会议会议记录》，第179-187页（1980年）
[39] Queinnec，C.：浏览器对评估程序或对Web服务器编程的延续的影响。摘自：ACM SIGPLAN函数式编程国际会议，第23–33页（2000）
[40] Queinnec，C.：延续与Web服务器。高阶符号。计算。17（4），277–295（2004年）·doi:10.1007/s10990-004-4866-z
[41] Spoonhower，D.、Czajkowski，G.、Hawblitzel，C.、Chang，C.-C.、Hu，D.和von Eicken，T.：基于J-kernel的可扩展Web和电话服务器的设计与评估。技术报告TR98-1715，康奈尔大学计算机科学系（1998）
[42] Sun Microsystems，Inc.：JSR154–JavaServlet 2.4规范（2003）。http://jcp.org/aboutJava/communityprocess/final/jsr154/
[43] Thau，R.：Apache服务器API的设计注意事项。摘自：第五届国际万维网会议，第1113-1122页（1996年）
[44] Apache Cocoon项目：用户文档。Apache软件基金会（2005）
[45] Apache软件基金会。http://www.apache.org/
[46] Apache Struts项目：Struts用户指南。Apache软件基金会（2005）
[47] Thiemann，P.：WASH/CGI：使用会话和类型化合成形式的服务器端Web脚本。在：陈述式语言的实践方面研讨会，第192–208页（2002年）
[48] Wallace，M.，Runciman，C.：Haskell和XML:通用文档处理组合器与基于类型的翻译。摘自：ACM SIGPLAN函数式编程国际会议，第148-159页（1999）
[49] 万维网联盟：XHTML 1.0：可扩展超文本标记语言（2002）。网址：http://www.w3.org/TR/xhtml1/
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。