Back to Basics: Deriving Representation Changers Functionally

Hutton, Graham and Meijer, Erik (1996) Back to Basics: Deriving Representation Changers Functionally. Journal of Functional Programming, 6 (1). pp. 181-188.

Full text not available from this repository.

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.

Item Type: Article
RIS ID: https://nottingham-repository.worktribe.com/output/1024370
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User: Hutton, Graham
Date Deposited: 26 Oct 2005
Last Modified: 04 May 2020 20:33
URI: https://eprints.nottingham.ac.uk/id/eprint/222

Actions (Archive Staff Only)

Edit View Edit View