scientific article; zbMATH DE number 3731318

MaRDI QIDQ3919065zbMATH OpenFDO

Authors Richard S. Bird

Publication date 1980

zbMATH Keywords

dynamic programmingpebble gamesprogram transformationrecursion eliminationrecursive functionsredundancytabulation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Discrete mathematics in relation to computer science (68R99)

Cited in

(14)

• An application of Mehlhorn's algorithm for bracket languages to log(n) space recognition of input-driven languages
• Computing abstract decorations of parse forests using dynamic programming and algebraic power series
• Information flow in tabular interpretations for generalized push-down automata
• Directed maximal-cut problems
• Dynamic programming with convexity, concavity and sparsity
• Partial memoization for obtaining linear time behavior of a 2DPDA
• Recursive information transducers: Computation models
• Time complexity of loop-free two-way pushdown automata
• A simulation result for two-way pushdown automata
• A transformation method for dynamic-sized tabulation
• Stack and locally finite transformations on structures with reversible transitions
• Efficient memo-table management strategies
• Domain-independent dynamic programming
• Polyvariant mixed computation for analyzer programs

This page was built for publication:

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