Modeling web interactions and errors

Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. Browsers permit consumers to whimsically navigate among the various stages of a dialog, leading to unexpected outcomes. Furthermore, the growing diversity of browsers means the number of interactive operations users can perform continues to grow.

[1]  Matthias Felleisen,et al.  Classes and mixins , 1998, POPL '98.

[2]  Matthias Felleisen,et al.  Programming the Web with High-Level Programming Languages , 2001, ESOP.

[3]  Didier Rémy,et al.  Type checking records and variants in a natural extension of ML , 1989, POPL '89.

[4]  Christian Queinnec,et al.  The influence of browsers on evaluators or, continuations to program web servers , 2000, ICFP '00.

[5]  Robert Hieb,et al.  The Revised Report on the Syntactic Theories of Sequential Control and State , 1992, Theor. Comput. Sci..

[6]  John Hughes,et al.  Generalising monads to arrows , 2000, Sci. Comput. Program..

[7]  Shriram Krishnamurthi,et al.  Verifying interactive Web programs , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..

[8]  Claus Brabrand,et al.  a Language for Developing Interactive Web Services , 2000 .

[9]  Thomas Ball,et al.  Mawl: A Domain-Specific Language for Form-Based Services , 1999, IEEE Trans. Software Eng..

[10]  David P. Reed,et al.  Implementing atomic actions on decentralized data , 1983, TOCS.

[11]  Anders Sandholm,et al.  A type system for dynamic Web documents , 2000, POPL '00.

[12]  Mittal S. Bhiogade.  Secure Socket Layer , 2001 .

[13]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[14]  Matthias Felleisen,et al.  Automatically Restructuring Programs for the Web , 2004, Automated Software Engineering.

[15]  Benjamin C. Pierce,et al.  Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[16]  Peter Thiemann,et al.  WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms , 2002, PADL.

[17]  Stephan Merz,et al.  Model Checking , 2000 .

[18]  Claus Brabrand,et al.  A Runtime System for Interactive Web Services , 1999, Comput. Networks.