Achten PM. Operational Semantics of Clean Event I/O. Technical report - in preparation University of Nijmegen. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
High Level Specification of I/O in Functional Languages - Achten, van Groningen.. (1993) (16 citations) (Correct)
....t by calling StartIO with an IOSystem t, an initial new program state t and the current IOState s. The currently running interaction is disabled and replaced by the new one until that interaction is terminated. For the complete definition of the semantics of Clean File and Event I O we refer to [1]. 5 An Example: the Game of Life In this section we present an example to illustrate a typical interactive Concurrent Clean program. The program describes the interface for a system playing the game of life. This is a game consisting of an infinite two dimensional space (the universe) A cell ....
Achten PM. Operational Semantics of Clean Event I/O. Technical report - in preparation University of Nijmegen.
The Beauty and the Beast - Achten, Plasmeijer (1992) (1 citation) (Correct)
....open, do io, close, hide) DeviceFunction device; CloseDevices io state [ io state; Figure 14 The definition of QuitIO. All code presented in this section is pure Concurrent Clean and is in fact a fragment of the definition of the operational semantics of the Concurrent Clean Event I O system [1]. 9 8. Composing Interactions With one call to StartIO a complete interaction is defined and handled entirely by the system. For most interactive applications this is already the whole program. However, it is even possible during an interaction to change completely from that I O set up to ....
Achten PM. Operational Semantics of Clean Event I/O. Technical report - in preparation University of Nijmegen.
The Ins and Outs of Clean I/O - Achten, Plasmeijer (1994) (3 citations) Self-citation (Achten) (Correct)
....section we briefly discuss the abstract devices other than the menu device. Their complete algebraic type definitions and abstract device access functions can be found in van Eekelen et al. (1993) and Plasmeijer and van Eekelen (1993) A definition of the semantics of the I O system is given in Achten (1994, in preparation ) 19 The timer device The timer device enables interactions to synchronise on an arbitrary number of time intervals of arbitrary length. Timing is handled by assuming that all events are provided with a time stamp. This mechanism cannot provide real time timing because the ....
Achten, P.M. 1994. Operational Semantics of Clean Event I/O. Technical Report, in preparation. University of Nijmegen, The Netherlands.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC