Back to Basics: Deriving Representation Changers Functionally
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 diff...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
Cambridge University Press
1996
|
| Online Access: | https://eprints.nottingham.ac.uk/222/ |
| _version_ | 1848790373138169856 |
|---|---|
| author | Hutton, Graham Meijer, Erik |
| author_facet | Hutton, Graham Meijer, Erik |
| author_sort | Hutton, Graham |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T18:11:35Z |
| format | Article |
| id | nottingham-222 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:11:35Z |
| publishDate | 1996 |
| publisher | Cambridge University Press |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-2222020-05-04T20:33:27Z https://eprints.nottingham.ac.uk/222/ Back to Basics: Deriving Representation Changers Functionally Hutton, Graham Meijer, Erik 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. Cambridge University Press 1996-01 Article PeerReviewed Hutton, Graham and Meijer, Erik (1996) Back to Basics: Deriving Representation Changers Functionally. Journal of Functional Programming, 6 (1). pp. 181-188. |
| spellingShingle | Hutton, Graham Meijer, Erik Back to Basics: Deriving Representation Changers Functionally |
| title | Back to Basics: Deriving Representation Changers Functionally |
| title_full | Back to Basics: Deriving Representation Changers Functionally |
| title_fullStr | Back to Basics: Deriving Representation Changers Functionally |
| title_full_unstemmed | Back to Basics: Deriving Representation Changers Functionally |
| title_short | Back to Basics: Deriving Representation Changers Functionally |
| title_sort | back to basics: deriving representation changers functionally |
| url | https://eprints.nottingham.ac.uk/222/ |