Automatically restructuring programs for the web

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 211-222

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

^a NORTHEASTERN UNIVERSITY   (United States)

^b RICE UNIVERSITY   (United States)

^c BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; SOFTWARE DESIGN;

AUTOMATED TRANSFORMATIONS; CONTROL STATE; INTERACTIVE PROGRAMS; PROGRAMMING PARADIGMS; RESTRUCTURING PROGRAMS; SERVER SIDES; USER INTERACTION; WEB APPLICATION; WEB APPLICATIONS; WEB PROGRAMMING;

APPLICATION PROGRAMS;

EID: 84974739086     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989807     Document Type: Conference Paper

References (38)

1. http://www.htdp.org/.
2. http://www.teach-scheme.org/.
3. Keyed-hash message authentication code (HMAC). http://www.nist.gov/hmac.
4. D. L. Atkins, T. Ball, G. Bruns, and K. C. Cox. Mawl: A domain-specific language for form-based services. Software Engineering, 25(3):334-346, 1999.
5. Borland Software Corporation. http://www.borland.com/jbuilder/.
6. J. Clements, M. Flatt, and M. Felleisen. Modeling an algebraic stepper. In European Symposium on Programming, 2001.
7. 4 report on the algorithmic language scheme. In ACM Lisp Pointers, pages 1-55, 1991.
8. D. Coward. Java servlet specification version 2.3, October 2000. http://java.sun.com/products/servlet/.
9. J. Daemen and V. Rijmen. Advanced Encryption Standard. http://www.nist.gov/aes.
10. O. Danvy and A. Filinski. Representing control: a study of the CPS transformation. In Mathematical Structures in Computer Science, volume 2, pages 361-391, 1992.
11. Daryl Harms. Using IDLE. http://www.python.org/idle/doc/.
12. M. Felleisen and R. Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 102:235-271, 1992. Original version in: Technical Report 89-100, Rice University, June 1989.
13. R. Fielding, J. Gettys, J. Mogul, H. Frystyk, L. Masinter, P. Leach, and T. Berners-Lee. Hypertext transfer protocol - HTTP/1.1, June 1999. Internet Request for Comments 2616.
14. R. B. Findler, J. Clements, C. Flanagan, M. Flatt, S. Krishnamurthi, P. Steckler, and M. Felleisen. Drscheme: A programming environment for Scheme. Journal of Functional Programming, 2001. to appear.
15. D. P. Friedman, M. Wand, and C. T. Haynes. Essentials of Programming Languages. The MIT Press, Cambridge, MA, 1992.
16. S. Funfrocken. Transparent migration of Java-based mobile agents: Capturing and reestablishing the state of Java programs. In Proceedings of the Second International Workshop on Mobile Agents, pages 26-37. Springer-Verlag, September 1998 1998. LNCS 1477.
17. J. Gosling, B. Joy, and G. L. Steele Jr. The Java Language Specification. Addison-Wesley, 1996.
18. P. Graham. Lisp in web-based applications. http://www.paulgraham.com/articles.html.
19. P. Graunke, S. Krishnarnurthi, S. van der Hoeven, and M. Felleisen. Programming the web with high-level programming languages. In European Symposium on Programming, 2001.
20. J. Hughes. Generalising monads to arrows. Science of Computer Programming, 37(1-3):67-111, May 2000.
21. International Business Machines, Inc. http://www.ibm.com/websphere.
22. M. A. Jackson. Principles of Program Design. Academic Press, 1975.
23. P. Jansson and J. Jeuring. Polytypic compact printing and parsing. In S. D. Swierstra, editor, ESOP: Proceedings European Symposium on Programming, pages 273-287. Springer-Verlag, 1999. LNCS 1576.
24. T. Johnsson. Lambda lifting: transforming programs to recursive equations. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, Nancy, France, September 1985.
25. G. L. S. Jr. Debunking the 'expensive procedure call' myth. In Proceedings of the ACM National Conference, pages 133-162, October 1977.
26. Netscape Communications Corporation. http://www.netscape.com/newsref/std/cookie_spec.ht
27. Open Market, Inc. FastCGI specification. http://www.fastcgi.com/.
28. C. Queinnec. The influence of browsers on evaluators or, continuations to program Web servers. In ACM SIG-PLAN International Conference on Functional Programming, 2000.
29. D. P. Reed. Implementing atomic actions on decentralized data. In ACM Transactions on Computer Systems, pages 234-254, February 1983.
30. th ACM National Conference, pages 717-740. ACM, 1972.
31. A. Sabry and M. Felleisen. Reasoning about programs in continuation-passing style. Lisp and Symbolic Computation, 1993.
32. T. Sakamoto, T. Sekiguchi, and A. Yonezawa. Bytecode transformation for portable thread migration in Java. In Proceedings of the Joint Symposium on Agent Systems and Applications/Mobile Agents (ASA/MA), pages 16-28, Septemher 2000.
33. C. Strachey and C. P. Wadsworth. Continuations: A mathematical semantics for handling full jumps, technical monograph prg-11. Technical report, Oxford University Computing Laboratory, Programming Research Group, 1974.
34. Sun Microsystems, Inc. http://java.sun.com/products/jpda/.
35. Sun Microsystems, Inc. Forte tools. http://www.sun.com/forte/.
36. C. Tismer. Continuations and stackless python... In Proceedings of the 8th International Python Conference, January 2000.
37. G. van Rossum. Python reference manual. Technical report, Corporation for National Research Initiatives (CNRI), October 1996.
38. L. Wall and R. L. Schwartz. Programming Perl. O'Reilly & Associates, Inc., 981 Chestnut Street, Newton, MA 02164, USA, 1992.