A Design Methodology for Functional Programs

  • David Wakeling
Conference paper

DOI: 10.1007/3-540-44806-3_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2196)
Cite this paper as:
Wakeling D. (2001) A Design Methodology for Functional Programs. In: Taha W. (eds) Semantics, Applications, and Implementation of Program Generation. SAIG 2001. Lecture Notes in Computer Science, vol 2196. Springer, Berlin, Heidelberg


An increasingly significant weakness of declarative programming is that it lacks a design methodology. In this paper, we attempt to provide one by showing how methodologies commonly used to develop object-oriented programs might also be used to develop functional ones. This involves mapping from a restricted subset of the diagrammatic notation used with these methodologies, the Unified Modeling Language (UML), to the standard lazy functional programming language, Haskell. As an example, we develop a small electronic mail system.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • David Wakeling
    • 1
  1. 1.School of Engineering and Computer ScienceUniversity of ExeterUK

Personalised recommendations