Automatically restructuring programs for the Web

Automated Software Engineering

Volumn 11, Issue 4, 2004, Pages 337-364

  Matthews, Jacob ^a   Findler, Robert Bruce ^a   Graunke, Paul ^b   Krishnamurthi, Shriram ^c   Felleisen, Matthias ^b  

^a THE UNIVERSITY OF CHICAGO   (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

^c Brown Univerity   (United States)

Author keywords

CGI; Closure conversion; Continuation passing style; Lambda lifting; Web programming

Indexed keywords

CGI; CLOSURE CONVERSION; CONTINUATION PASSING STYLE; LAMBDA LIFTING; WEB PROGRAMMING;

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER SOFTWARE; NETWORK PROTOCOLS; WEB BROWSERS; WORLD WIDE WEB;

SOFTWARE ENGINEERING;

EID: 4344605176     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:AUSE.0000038936.09009.69     Document Type: Conference Paper

References (42)

1. Appel, A. 1992. Compiling With Continuations, The Pitt Building, Trumpington Street, Cambridge CB2 1RP: Cambridge University Press.
2. Atkins, D.L., Ball, T., Bruns, G., and Cox, K.C. 1999. Mawl: A domain-specific language for form-based services. Software Engineering, 25(3):334-346.
3. Baker, H.G. 1994. CONS should not CONS its arguments, Part II: Cheney on the M.T.A. comp.lang.scheme.c newsgroup.
4. Bakken, S.S., Aulbach, A., Schmid, E. Winstead, J. Wilson, L.T. Lerdorf R., Zmievski, A., and Ahto, J. 2002. http://www.php.net/manual/.
5. Borland Software Corporation. http://www.borland.com/jbuilder/.
6. Brabrand, C., Møller, A., Sandholm, A., and Schwartzbach, M.I. 1999. A runtime system for interactive web services. In Journal of Computer Networks.
7. Clements, J., Flatt, M. and Felleisen, M. 2001. Modeling an algebraic stepper. In European Symposium on Programming.
8. Clinger, W.D. 1998. Proper tail recursion and space efficiency. In Proceedings of ACMSIGPLAN Conference on Programming Language Design and Implementation, pp. 174-185.
9. Coward, D. 2000. Java Servlet Specification Version 2.3. http://java.sun.com/products/servlet/.
10. Daemen, J. and Rijmen, V. Advanced Encryption Standard, http://csrc.nist.gov/publications/fips/fips197/fips-197.pdf.
11. Felleisen, M. and Hieb, R. 1992. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 102:235-271. Original version in: Technical Report 89-100, Rice University, June 1989.
12. Felleisen, M. and Hieb, R. 1992. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 102:235-271. Original version in: Technical Report 89-100, Rice University, June 1989.
13. Fielding, R., Gettys, J., Mogul, H. Frystyk, L. Masinter, P.L., and Berners-Lee, T. 1999. Hypertext transfer protocol - HTTP/1.1. Internet Request for Comments 2616.
14. Findler, R.B., Clements, J. Flanagan, C., Flatt, M., Krishnamurthi, S., Steckler, P., and Felleisen, M. 2002. DrScheme: A programming environment for Scheme. Journal of Functional Programming, 12(2):159-182. A preliminary version of this paper appeared in PLILP 1997, LNCS vol. 1292, pp. 369-388.
15. Findler, R.B., Clements, J. Flanagan, C., Flatt, M., Krishnamurthi, S., Steckler, P., and Felleisen, M. 2002. DrScheme: A programming environment for Scheme. Journal of Functional Programming, 12(2):159-182. A preliminary version of this paper appeared in PLILP 1997, LNCS vol. 1292, pp. 369-388.
16. Findler, R.B. and Flatt, M. 1998. Modular object-oriented programming with units and mixins. In Proceedings of ACMSICPLAN International Conference on Functional Programming, pp. 94-104.
17. Flanagan, C., Sabry, A., Duba, B.F., and Felleisen, M. 1993. The essence of compiling with continuations. In Proceedings ACM SIGPLAN 1993 Conf. on Programming Language Design and Implementation, PLDI'93, Albuquerque, NM, USA, 23-25 June 1993, vol. 28(6), New York; ACM Press, pp. 237-247.
18. Flatt, M. 1997. PLT MzScheme: language manual. Technical Report TR97-280, Rice University, http://www.plt-scheme.org/software/mzscheme/.
19. Flatt, M. 2002. Composable and compilable macros: You want it when?. In Proceedings of ACM SIGPLAN International Conference on Functional Programming.
20. Flatt, M. and Felleisen, M. 1998. Units: Cool modules for HOT languages. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 236-248.
21. Flatt, M., Findler, R.B., Krishnamurthi, S., and Felleisen, M. 1999. Programming languages as operating systems (or Revenge of the son of the lisp machine). In Proceedings of ACM SIGPLAN International Conference on Functional Programming, pp. 138-147.
22. Flatt, M., Krishnamurthi, S., and Felleisen, M. 1998. Classes and mixins. In Proceedings of the ACM Conference Principles of Programming Languages.
23. Friedman, D.P., Wand, M., and Haynes, C.T. 1992. Essentials of Programming Languages Cambridge, MA: The MIT Press.
24. Graham, P., Lisp in web-based applications. http://www.paulgraham.com/ lib/paulgraham/bbnexcerpts.txt.
25. Graunke, P., Krishnamurthi, S., van der Hoeven, S., and Felleisen, M. 2001. Programming the web with high-level programming languages. In European Symposium on Programming.
26. Hughes, J. 2000. Generalising monads to arrows. Science of Computer Programming, 37(1-3):67-111.
27. International Business Machines, Inc. http://www.ibm.com/websphere.
28. Jackson, M.A. 1975. Principles of Program Design. Academic Press.
29. Johnsson, T. 1985. Lambda lifting: Transforming programs to recursive equations. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture. Nancy, France.
30. 5 report of the algorithmic language scheme. ACM SIGPLAN Notices, 33(9):26-76.
31. Kristol, D. and Montulli, L. 1997. RFC 2109: Proposed Standard for HTTP state management mechanism. http://www.ietf.org/rfc/rfc2109.txt.
32. NCSA, The Common Gateway Interface, http://hoohoo.ncsa.uiuc.edu/cgi/.
33. Open Market, Inc., FastCGI specification, http://www.fastcgi.com/
34. Queinnec, C. 2000. The influence of browsers on evaluators or, continuations to program Web servers'. In ACM SIGPLAN International Conference on Functional Programming.
35. Reed, D.P. 1983. Implementing atomic actions on decentralized data. In ACM Transactions on Computer Systems. pp. 234-254.
36. Rees, J.A., Adams, N.I., and Meehan, J.R. 1988. The T manual.
37. Reynolds, J. 1972. Definitional interpreters for higher-order programming languages. In Proceedings of the 25th ACM National Conference, pp. 717-740.
38. Roth, M. and Pelegrí-Llopart, E. 2002. JavaServer Pages Specification, http://java.sun.com/products/jsp/.
39. Strachey, C. and Wadsworth, C.P. 1974. Continuations: A mathematical semantics for handling full jumps, technical monograph PRG-11. Technical report, Oxford University Computing Laboratory, Programming Research Group.
40. Sun Microsystems, Inc. http://java.sun.com/products/jpda/.
41. Sun Microsystems, Inc., Forte Tools, http://www.sun.com/forte/.
42. Thiemann, P. 2002. WASH/CGI: Server-side web scripting with sessions and typed, compositional forms. In Practical Applications of Declarative Languages.