×

The feasibility of interactively probing quiescent properties of GUI applications. (English) Zbl 1119.68325

Grelck, C. (ed.) et al., Implementation and application of functional languages. 16th international workshop, IFL 2004, Lübeck, Germany, September 8–10, 2004. Revised selected papers. Berlin: Springer (ISBN 978-3-540-26094-3/pbk). Lecture Notes in Computer Science 3474, 17-34 (2005).
Summary: In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition systems with quiescence. These properties can be added and removed at run-time. It is guaranteed that they are type-correct. We investigate the consequences of such an approach for one particular functional GUI library, Object I/O. The goal is to gain confidence in the quality of interactive applications, and to seek properties that can be proven correct, perhaps using formal proof tools.
For the entire collection see [Zbl 1119.68008].

MSC:

68N18 Functional programming and lambda calculus

Software:

OCaml; Hood; Hat; Freja
PDFBibTeX XMLCite
Full Text: DOI Link