The implementation of interactive local statetransition systems in


The functional programming language Clean ooers an extensive library, the object I/O library, to programmers to create interactive applications that use Graphical User Interfaces (GUI). Programs are constructed by composition of interactive objects. Interactive objects share state. To support modular programming it is also possible to provide objects with local state. Hierarchies of stateful objects are deened by means of algebraic speciications. Good use is made of the fact that Clean is a strongly typed language. In this paper we show how the evaluation of interactive objects is implemented in the object I/O library. The evaluation can be handled elegantly using lazy evaluation.

Extracted Key Phrases

Cite this paper

@inproceedings{Achten1999TheIO, title={The implementation of interactive local statetransition systems in}, author={Peter Achten}, year={1999} }