Advertisement

The Gamma model as a functional programming tool

  • R. Harrison
  • H. Glaser
Theory Of Computing, Algorithms And Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 468)

Abstract

In this paper we investigate the way in which the Gamma model, proposed by Banâtre and Le Metayer [1], might be supported in a functional language. We discuss the mechanism behind the model and examine the difficulties which arise when implementing Gamma in a functional language. We also explore its applicability as a programming paradigm by developing a library of higher order functions which can be used to facilitate the programming process.

Keywords

Short Path Action Function Gamma Function Reaction Function Functional Programming 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J.-P. Banâtre, D. Le Metayer, ‘A new computational model and its discipline of programming', INRIA Research Report, 566, 1986.Google Scholar
  2. 2.
    D.A. Turner, ‘An overview of Miranda', ACM SIGPLAN Notices, 21, 158–166, 1986.Google Scholar
  3. 3.
    R.J. Milner, ‘A theory of type polymorphism in programming', Journal of Computer and System Sciences, 17, 1978.Google Scholar
  4. 4.
    R.J.M. Hughes, ‘Why Functional Programming Matters', The Computer Journal, 32 (2), 98–107, 1989.Google Scholar
  5. 5.
    Z. Manna, R. Waldinger, The Logical Basis for Computer programming, Volume 1: Deductive Reasoning, Addison-Wesley, 1985.Google Scholar
  6. 6.
    J. Darlington, ‘Program Transformation', in J. Darlington, P. Henderson, D.A. Turner (eds), Functional Programming and its Applications:An Advanced Course, CUP, 1982Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • R. Harrison
    • 1
  • H. Glaser
    • 1
  1. 1.Department of Electronics and Computer ScienceUniversity of SouthamptonU.K.

Personalised recommendations