Using circular programs to eliminate multiple traversals of data

DOI10.1007/BF00264249MaRDI QIDQ800713zbMATH OpenOpenAlexWikidataFDO

Authors Richard S. Bird

Publication date 1984

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00264249

zbMATH Keywords

lazy evaluationlocal recursiontransforming functional programs

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Using circular programs to deforest in accumulating parameters
• Shortcut fusion rules for the derivation of circular and higher-order programs
• Partial parametrization eliminates multiple traversals of data structures
• Tupling calculation eliminates multiple data traversals
• scientific article; zbMATH DE number 3982557

Cites work

• scientific article; zbMATH DE number 3960968 (Why is no real title available?)
• scientific article; zbMATH DE number 3664393 (Why is no real title available?)
• scientific article; zbMATH DE number 3557186 (Why is no real title available?)
• scientific article; zbMATH DE number 3631906 (Why is no real title available?)
• A System for Assisting Program Transformation
• A Transformation System for Developing Recursive Programs
• DTL: A language for the design and implementation of concurrent programs as structured networks

Cited in

(21)

• scientific article; zbMATH DE number 3982557 (Why is no real title available?)
• Shortcut fusion rules for the derivation of circular and higher-order programs
• There and back again
• scientific article; zbMATH DE number 7453187 (Why is no real title available?)
• Attribute grammars as recursion schemes over cyclic representations of zippers
• Lazy dynamic-programming can be eager
• The resource constrained shortest path problem implemented in a lazy functional language
• scientific article; zbMATH DE number 1738292 (Why is no real title available?)
• Linear, bounded, functional pretty-printing
• A strict functional language with cyclic recursive data
• A positive supercompiler
• Manipulating accumulative functions by swapping call-time and return-time computations
• scientific article; zbMATH DE number 3960968 (Why is no real title available?)
• Partial parametrization eliminates multiple traversals of data structures
• Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition
• A transformation method for dynamic-sized tabulation
• Traced Premonoidal Categories
• Breadth-first traversal via staging
• Tupling calculation eliminates multiple data traversals
• Using circular programs to deforest in accumulating parameters
• Efficient handling of data structures in definitional languages

This page was built for publication: Using circular programs to eliminate multiple traversals of data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800713)