Categories, relations and dynamic programming

DOI10.1017/S0960129500000360zbMATH Open0793.90091OpenAlexW4206120425MaRDI QIDQ4286530FDOQ4286530

Authors: Oege de Moor 

Publication date: 16 August 1994

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500000360

Recommendations

• Recursion Schemes for Dynamic Programming
• A Comprehensive Model of Dynamic Programming
• scientific article; zbMATH DE number 53073
• Theory and applications of generalized dynamic programming: An overview
• scientific article; zbMATH DE number 512948

zbMATH Keywords

calculus of relationstopos theory

Mathematics Subject Classification ID

Dynamic programming (90C39) Topoi (18B25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The String-to-String Correction Problem
• Efficient Parallel Algorithms for String Editing and Related Problems
• Finite-State Processes and Dynamic Programming
• A Comprehensive Model of Dynamic Programming
• A common schema for dynamic programming and branch and bound algorithms
• Transformational programming and the paragraph problem
• On efficient parallel computations for some dynamic programming problems
• Data structures and program transformation
• Algebraic specification of data types: A synthetic approach
• Top-down synthesis of divide-and-conquer algorithms
• Formal derivation of a pattern matching algorithm
• On the synthesis of function inverses
• Program inversion: More than fun!
• Breaking paragraphs into lines
• Automata in general algebras
• An exercise in transformational programming: Backtracking and Branch-and- Bound
• Speeding up dynamic programming with applications to molecular biology
• Applications of a strategy for designing divide-and-conquer algorithms
• Dynamic programming on two-dimensional systolic arrays
• The Least Weight Subsequence Problem
• Algorithm theories and design tactics
• A new look at Bellman's principle of optimality
• The principle of optimality in the design of efficient algorithms
• Dynamic programming on linear pipelines

Cited In (9)

• Program calculation in Coq
• Adding design strategies to fork algebras
• Categories of relations and functional relations
• List partitions
• Partiality. II: Constructed relation algebras
• Title not available (Why is that?)
• A short cut to optimal sequences
• Predicate transformers and higher-order programs
• Relations in operational categories

Uses Software

• Miranda

This page was built for publication: Categories, relations and dynamic programming

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