Modeling web interactions and errors

Interactive Computation: The New Paradigm

Volumn , Issue , 2006, Pages 255-275

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

^a BROWN UNIVERSITY   (United States)

^b UNIVERSITY OF CHICAGO   (United States)

^c NORTHEASTERN UNIVERSITY   (United States)

^d Galois Connections Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 36549088739     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/3-540-34874-3_11     Document Type: Chapter

References (26)

1. Atkins, D. L., T. Ball., G. Bruns and K. C. Cox. Mawl: A domain-specific language for form-based services. Software Engineering, 25(3):334-346, 1999.
2. Brabrand, C., A. Møller, A. Sandholm and M. Schwartzbach. A language for developing interactive Web services, 1999. Unpublished manuscript.
3. Brabrand, C., A. Møller., A. Sandholm and M. I. Schwartzbach. A runtime system for interactive Web services. In Journal of Computer Networks, pages 1391-1401, 1999.
4. BrightPlanet. DeepWeb. http://www.completeplanet.com/Tutorials/DeepWeb/.
5. Cardelli, L. Type systems. In Handbook of Computer Science and Engineering. CRC Press, 1996.
6. Clarke, E., O. Grumberg and D. Peled. Model Checking. MIT Press, 2000.
7. Coward, D. Java servlet specification version 2.3, October 2000. http://java.sun. com/products/servlet/.
8. Dierks, T. and C. Allen. The transport layer security protocol, January 1999. http://www.ietf.org/rfc/rfc2246.txt.
9. Felleisen, M. 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.
10. Flatt, M., S. Krishnamurthi and M. Felleisen. Classes and mixins. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 171-183, January 1998.
11. Freier, A. O., P. Karlton and P. C. Kocher. Secure socket layer 3.0, November 1996. IETF Draft http://wp. netscape.com/eng/ssl3/ssl-toc.html.
12. Gamma, E., R. Helm., R. Johnson and J. Vlissides. Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
13. Graham, P. Beating the averages. http://www.paulgraham.com/avg.html.
14. Graunke, P. T., S. Krishnamurthi., S. van der Hoeven and M. Felleisen. Programming the Web with high-level programming languages. In European Symposium on Programming, pages 122-136, April 2001.
15. Hughes, J. Generalising monads to arrows. Science of Computer Programming, 37(1-3):67-111, May 2000.
16. Licata, D. R. and S. Krishnamurthi. Verifying interactive Web programs. In IEEE International Symposium on Automated Software Engineering, pages 164-173, September 2004.
17. Matthews, J., R. B. Findler., P. T. Graunke, S. Krishnamurthi and M. Felleisen. Automatically restructuring programs for the Web. Automated Software Engineering, 11(4):337-364, 2004.
18. Microsoft Corporation. http://www.microsoft.com/net/.
19. NCSA. The Common Gateway Interface. http://hoohoo.ncsa.uiuc.edu/cgi/.
20. Pierce, B. C. Types and Programming Languages. MIT Press, 2002.
21. Plotkin, G. D. Call-by-name, call-by-value, and the λ-calculus. Theoretical Computer Science, pages 125-159, 1975.
22. Queinnec, C. The influence of browsers on evaluators or, continuations to program Web servers. In ACM SIGPLAN International Conference on Functional Programming, pages 23-33, 2000.
23. Reed, D. P. Implementing atomic actions on decentralized data. In ACM Transactions on Computer Systems, pages 234-254, February 1983.
24. Rémy, D. Typechecking records and variants in a natural extension of ML. In ACM Symposium on Principles of Programming Languages, pages 77-88, 1989.
25. Sandholm, A. and M. I. Schwartzbach. A type system for dynamic Web documents. In Symposium on Principles of Programming Languages, pages 290-301, 2000.
26. Thiemann, P. WASH/CGI: Server-side Web scripting with sessions and typed, compositional forms. In Practical Applications of Declarative Languages, pages 192-208, 2002.