Point-free program transformation

Functional programs are particularly well suited to formal manipulation by equational reasoning. In particular, it is straightforward to use calculational methods for program transformation. Well-known transformation techniques, like tupling or the introduction of accumulating parameters, can be imp...

Full description

Bibliographic Details
Main Author: Cunha, Alcino (author)
Other Authors: Pinto, Jorge Sousa (author)
Format: article
Language:eng
Published: 2005
Subjects:
Functional programming
Program transformation
Program calculation
Point-free programming
Accumulation strategy
Science & Technology
Online Access:http://hdl.handle.net/1822/2202
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/2202

Internet

http://hdl.handle.net/1822/2202

Similar Items