Back to Basics: Deriving Representation Changers Functionally

Hutton, Graham; Meijer, Erik

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
• Peer Reviewed: Peer Reviewed
• Volume: 6
• Issue: 1
• Public URL: https://nottingham-repository.worktribe.com/output/1024370