Skip to main content

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 (KAR id:20889)

PDF
Language: English
Download (267kB) Preview
[thumbnail of interactive_thompson.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 15 Jul 2009 11:15 UTC
Last Modified: 16 Nov 2021 09:59 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/20889 (The current URI for this page, for reference purposes)
Thompson, Simon: https://orcid.org/0000-0002-2350-301X
  • Depositors only (login required):