Modeling web interactions and errors

Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke, Matthias Felleisen

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Scopus citations


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. To investigate this programming problem, we develop a foundational model of Web interactions that reduces the panoply of browser-supported user interactions to three fundamental ones. We use the model to formally describe two classes of errors in Web programs. The descriptions suggest 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 that employs program annotations to detect errors.

Original languageEnglish (US)
Title of host publicationInteractive Computation
Subtitle of host publicationThe New Paradigm
PublisherSpringer Berlin Heidelberg
Number of pages21
ISBN (Print)354034666X, 9783540346661
StatePublished - 2006

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Modeling web interactions and errors'. Together they form a unique fingerprint.

Cite this