Type checking records and variants in a natural extension of ML
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A runtime system for interactive Web services
WWW '99 Proceedings of the eighth international conference on World Wide Web
Mawl: A Domain-Specific Language for Form-Based Services
IEEE Transactions on Software Engineering
A type system for dynamic Web documents
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Science of Computer Programming - Special issue on mathematics of program construction
The influence of browsers on evaluators or, continuations to program web servers
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Types and programming languages
Types and programming languages
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
Analyzing Interaction Orderings with Model Checking
Proceedings of the 19th IEEE international conference on Automated software engineering
Verifying Interactive Web Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
An embedded domain-specific language for type-safe server-side web scripting
ACM Transactions on Internet Technology (TOIT)
Theoretical Computer Science - Implementation and application of automata
Continuations from generalized stack inspection
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Ocsigen: typing web interaction with objective Caml
Proceedings of the 2006 workshop on ML
MetaOCaml server pages: web publishing as staged computation
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Specifying and controlling multi-channel web interfaces for enterprise applications
Information Systems Frontiers
Better abstractions for secure server-side scripting
Proceedings of the 17th international conference on World Wide Web
Specification and Verification of Web Applications in Rewriting Logic
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A Rule-based System for Web site Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Web Verification: Perspective and Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
A survey of analysis models and methods in website verification and testing
ICWE'07 Proceedings of the 7th international conference on Web engineering
Model-based testing of thin-client web applications and navigation input
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Towards automatic verification of web-based SOA applications
APWeb'08 Proceedings of the 10th Asia-Pacific web conference on Progress in WWW research and development
Towards reasoning for web applications: an operational semantics for Hop
APLWACA '10 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
Software for everyone by everyone
Proceedings of the FSE/SDP workshop on Future of software engineering research
Model-checking web applications with web-TLR
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Server-side web programming in WASH
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Reasoning about Web Applications: An Operational Semantics for HOP
ACM Transactions on Programming Languages and Systems (TOPLAS)
A rewriting logic approach to the formal specification and verification of web applications
Science of Computer Programming
| Hi-index | 0.00 |
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among the various stages of a dialog and can thus confuse the most sophisticated corporateWeb sites. In turn,Web services can fault in frustrating and inexplicable ways. The quickening transition from Web scripts toWeb services lends these problems immediacy. To address this programming problem, we develop a foundational model ofWeb interactions and use it to formally describe two classes of errors. The model suggests techniques for detecting both classes of errors. For one class we present an incrementally checked record type system, which effectively eliminates these errors. For the other class, we introduce a dynamic safety check, which catches the mistakes relative to programmers' simple annotations.