Skip to main content

Research Repository

Advanced Search

Back to Basics: Deriving Representation Changers Functionally

Hutton, Graham; Meijer, Erik

Authors

Erik Meijer



Abstract

Many functional programs can be viewed as representation changers, that is, as functions that convert abstract values from one concrete representation to another. Examples of such programs include base-converters, binary adders and multipliers, and compilers. In this paper we give a number of different approaches to specifying representation changers (pointwise, functional, and relational), and present a simple technique that can be used to derive functional programs from the specifications.

Citation

Hutton, G., & Meijer, E. (1996). Back to Basics: Deriving Representation Changers Functionally. Journal of Functional Programming, 6(1),

Journal Article Type Article
Publication Date Jan 1, 1996
Deposit Date Oct 26, 2005
Publicly Available Date Oct 9, 2007
Journal Journal of Functional Programming
Print ISSN 0956-7968
Publisher Cambridge University Press (CUP)
Peer Reviewed Peer Reviewed
Volume 6
Issue 1
Public URL http://eprints.nottingham.ac.uk/id/eprint/222
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf

Files


basics.pdf (166 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations