Interactive Functional Programs: a Method and a Formal Semantics

Thompson, Simon (1987) Interactive Functional Programs: a Method and a Formal Semantics. Technical report. Computing Laboratory, University of Kent, Canterbury, UK (Full text available)

PDF
Download (267kB)

Abstract

In this paper we present a model of interactive programs in a purely functional style. We exploit lazy evaluation in the modelling of streams as lazy lists. We show how programs may be constructed in an ad hoc way, and then present a small set of interactions and combinators which form the basis for a disciplined approach to writing such programs. One of the difficulties of the ad hoc approach is that the way in which input and output are interleaved by the functions can be unpredictable. In the second half of the paper we use traces, i.e. partial histories of behaviour, to explain the interleaving of input and output, and give a formal explanation of our combinators. We argue that this justifies our claim that the combinators have the intuitively expected behaviour, and finally contrast our approach with another.

Item Type:	Monograph (Technical report)
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User:	Mark Wheadon
Date Deposited:	15 Jul 2009 11:15 UTC
Last Modified:	26 Jun 2017 18:50 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/20889 (The current URI for this page, for reference purposes)