Transformational programming and the paragraph problem

DOI10.1016/0167-6423(86)90023-7MaRDI QIDQ1067769zbMATH OpenOpenAlexFDO

Authors Richard S. Bird

Publication date 1986

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(86)90023-7

zbMATH Keywords

dynamic programmingfunctional programstransformational programmingbreaking paragraphs into linesoptimisation problemparagraph problemwaste functions

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Bridging the algorithm gap: A linear-time functional program for paragraph formatting
• scientific article; zbMATH DE number 910715
• Transformational program development in a particular problem domain
• AI 2003: Advances in Artificial Intelligence
• Transformational programming and the derivation of algorithms

Cited in

(10)

• AI 2003: Advances in Artificial Intelligence
• Efficient memo-table management strategies
• List partitions
• Mapping a functional notation for parallel programs onto hypercubes
• Polynomial-time optimal pretty-printing combinators with choice
• An exercise in transformational programming: Backtracking and Branch-and- Bound
• From algebra to operational semantics
• See more through lenses than bananas
• Bridging the algorithm gap: A linear-time functional program for paragraph formatting
• Categories, relations and dynamic programming

This page was built for publication: Transformational programming and the paragraph problem

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