期刊文献+

函数式语言方法在网络交互程序中的应用

Application of functional language method in interactive web programming
下载PDF
导出
摘要 网络应用程序中为了保持程序的交互性,服务器端的控制程序如CGI(command gateway interface)程序需要在不同的脚本程序之间切换,这样不可避免的会造成控制信息的丢失。为了避免这些问题,介绍了将函数式程序设计语言的一些方法,如Continuation、CPS(continuation passing style)等,并将它们应用到网络程序设计中,不仅简化了设计过程,也提高了程序的安全性,并可以在更一般的语言中实现。 In order to keep the interactive nature of web application, server-side programs, such as CGI, must switch between multiple scripts, which consequentially leads to the losing of control information. Some methods from functional language are implemented in web programming to remedy these problems. They can not only simplify the procedure of coding, but also improve integrity of the program. Particularly, they are also implemented as common methods in most languages.
作者 吕品 喻刚
出处 《计算机工程与设计》 CSCD 北大核心 2009年第6期1315-1320,共6页 Computer Engineering and Design
关键词 函数式语言 程序延续 CPS 网络应用程序 交互式程序 CGI functional language continuation CPS web application interactive program CGI
  • 相关文献

参考文献22

  • 1NCSA. The common gateway interface [EB/OL] .http://hoo- hoo.ncsa.uiuc.edu/cgi/.
  • 2Coward D.Java servlet specification version 2.3[EB/OL].http:// java.sun.com/products/servlet/.
  • 3IEEE Std 1178-1990, IEEE standard for the scheme program- ming language[S].New York:Institute of Electrical andElectronic Engineers Inc, 1991.
  • 4Fielding R, Gettys J,Mogul J, et al.Hypertext transfer protocol-HTTP/1.1 [P].Intemet Request for Comments 2616,1999.
  • 5Reynolds J C.The discoveries of continuations[J].Intemational Journal on Lisp and Symbolic Computation, 1993,6 (3/4): 233-247.
  • 6Strachey C,WadsworthC P.Continuations:A mathematical semantics for handling full jumps [J]. Higher-Order and Symbolic Computation,2000,13 ( 1/2): 135-152.
  • 7Queinnec C.The influence of browsers on evaluators or, continuations to program web servers[C].ACM SIGPLAN International Conference on Functional Programming,2000.
  • 8Friedman D P, Wand M,Haynes C T.Essentials of programming languages[M].Cambridge,MA:The MIT Press,1992.
  • 9Johnsson T.Lambda lifting:Transforming programs to recursive equations[C]. Nancy,France:Proceedings of the Conference on Functional Programming Languages and Computer Architecture.1985.
  • 10Reynolds J.Definitional interpreters for higher-order programming languages[C].Proceedings of the 25th ACM National Conference, 1972.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部