Shortcut fusion rules for the derivation of circular and higher-order monadic programs

Functional programs often combine separate parts using intermediate data structures for communicating results. Programs so defined are modular, easier to understand and maintain, but suffer from inefficiencies due to the generation of those gluing data structures. To eliminate such redundant data st...

Full description

Bibliographic Details
Main Author: Pardo, Alberto (author)
Other Authors: Fernandes, João Paulo (author), Saraiva, João Alexandre (author)
Format: conferencePaper
Language:eng
Published: 2009
Subjects:
Circular programming
Monadic programming
Program calculation
Shortcut fusion
Deforestation
Online Access:http://hdl.handle.net/1822/36154
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/36154

Internet

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

Similar Items