Evaluating Functional Programs on the Flagship Machine (1987)

Author(s): Watson P, Watson I

    Abstract: The Flagship project has the aim of designing a parallel computer system for the evaluation of declarative languages. The physical architecture of the machine consists of a set of closely coupled processor/store pairs communicating over a high performance communications network. A functional program to be evaluated is compiled into a Super-Combinator expression graph which is then simplified by graph reduction. The paper discusses the Flagship machine architecture and describes in detail the computational model which defines how a functional program is represented and reduced. The issues underlying the design of the main features of the computational model are examined.

      • Date: 14-16 September 1987
      • Conference Name: Functional Programming Languages and Computer Architectures Conference
      • Volume: 274
      • Pages: 80-97
      • Publisher: Springer-Verlag
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published

      Professor Paul Watson
      Professor of Computing Science