The Project

ACM Transactions on Internet Technology

Volumn 2, Issue 2, 2002, Pages 79-114

  Brabrand, Claus ^a   MøLler, Anders ^a   Schwartzbach, Michael I ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Design; Interactive Web services; Languages; program analysis; Verificatio

Indexed keywords

EID: 85015157778     PISSN: 15335399     EISSN: 15576051     Source Type: Journal    
DOI: 10.1145/514183.514184     Document Type: Article

References (31)

1. Arnold, K., Gosling, J., and Holmes, D. 2000. The Java Programming Language, 3rded. Addison-Wesley, Reading, MA.
2. Atkins, D., Ball, T., Benedikt, M., Bruns, G., Cox, K., Mataga, P., and Rehor, K. 1997. Experience with a domain specific language for form-based services. In Proceedings of the Usenix Conference on Domain Specific Languages.
3. Atkins, D., Ball, T., Bruns, G., and Cox, K. 1999. Mawl: A domain-specific language for form-based services. IEEE Trans. Soft. Eng.
4. Atkinson, L. 1999. Core PHP Programming. Prentice Hall, Englewood Cliffs, NJ.
5. Berners-Lee, T., Fielding, R., and Frystyk, H. 1996. Hypertext transfer protocol-HTTP/1.0.RFC1945. http://www.w3.org/Protocols/rfc1945/rfc1945.
6. Brabrand, C., Möller, A., Olesen, S., and Schwartzbach, M. I. 2001. Language-based caching of dynamically generated HTML. Submitted for publication.
7. Brabrand, C., Möller, A., Ricky, M., and Schwartzbach, M. I. 2000. Powerforms: Declarative client-side form field validation. World Wide Web J. 3, 4, 205-314.
8. Brabrand, C., Möller, A., Sandholm, A., and Schwartzbach, M. I. 1999. A runtime system for interactive Web services. Comput. Net. 31, 1391-1401. Also in Proceedings of the Eighth International World Wide Web Conference.
9. Brabrand, C., Möller, A., and Schwartzbach, M. I. 2001. Static validation of dynamically generated HTML. In Proceedings of the Workshop on Program Analysis for Software Tools and Engineering, PASTE 2001. ACM, New York, NY.
10. Brabrand, C. and Schwartzbach, M. I. 2002. Growing languages with metamorphic syntax macros. In Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation, PEPM2002. ACM, New York, NY.
11. Christensen, A. S., Möller, A., and Schwartzbach, M. I. 2002. Extending Java for high-level Web service construction. Submitted for publication.
12. Cox, K., Ball, T. and Ramming, J. C. 1996. Lunchbot: A tale of two ways to program web services. Tech. Rep. BL0112650-960216-06TM, AT&T Bell Laboratories.
13. Desborough, J. 1997. Cold Fusion 3.0 Intranet Application. International Thomson Publishing.
14. Dubinko, M., Schnitzenbaumer, S., Wedel, M., and Raggett, D. 2001. XHTML extended forms requirements. W3C working draft. http://www.w3.org/TR/xhtml-forms-req.html.
15. Fernandez, M., Suciu, D., and Tatarinov, I. 1999. Declarative specification of data-intensive Web site. In Proceedings of the USENIX Conference on Domain-Specific Languages.
16. Flanagan, D. 1998. JavaScript: The Definitive Guide. O'Reilly & Associates, Inc.
17. Freier, A. O., Karlton, P., and Kocher, P. C. 1996. The SSL protocol version 3.0. Internet draft. http://home.netscape.com/eng/ssl3/draft302.txt.
18. Gundavaram, S. 2000. CGI Programming on the World Wide Web. O'Reilly & Associates, Inc.
19. Homer, A., Schenken, J., Gibbs, M., Narkiewicz, J. D., Bell, J., Clark, M., Elmhorst, A., Lee, B., Milner, M., and Rehan, A. 2001. ASP.NET Programmer's Reference. Wrox Press.
20. Klarlund, N. and Möller, A. 2001. MONA Version 1.4 User Manual. BRICS Notes Series NS-01-1, Dept. of Computer Science, University of Aarhus.
21. Ladd, D. A. and Ramming, J. C. 1995. Programming the Web: An application-oriented language for hypermedia services. In Proceedings of the 4th World Wide Web Conference.
22. Open Market, Inc. 1996. FastCGI: A high-performance Web server interface. Technical White Paper, www.fastcgi.com.
23. Nielson, F., Nielson, H. R. and Hankin, C. 1999. Principles of Program Analysis. Springer Verlag.
24. Raggett, D., Hors, A. L., and Jacobs, I. 1999. HTML 4.01 specification. W3C recommendation. http://www.w3.org/TR/html401.
25. Sandholm, A. and Schwartzbach, M. I. 1998. Distributed safety controllers for Web services. In Fundamental Approaches to Software Engineering, FASE'98. LNCS 1382, Springer Verlag.
26. Sandholm, A. and Schwartzbach, M. I. 2000. A type system for dynamic Web documents. In Principles of Programming Languages, POPL00. ACM, New York, NY.
27. Sun Microsystems. 2001a. Java servlet specification, version 2.3. http://java.sun.com/products/servlet.
28. Sun Microsystems. 2001b. JavaServer pages specification, version 1.2. http://java.sun.com/products/jsp.
29. Thomas, W. 1990. Automata on infinite objects. In Handbook of Theoretical Computer Science. Vol. B. MIT Press/Elsevier, 133-191.
30. van Deursen, A., Klint, P., and Visser, J. 2000. Domain-specific languages: An annotated bibliography. SIGPLANNot. 35, 6, 26-36.
31. Weise, D. and Crew, R. F. 1993. Programmable syntax macros. In Programming Language Design and Implementation, PLDI'93.