scientific article; zbMATH DE number 3854413
From MaRDI portal
Publication:3323261
algebraic translation rules for data and control structuresasymptotic behavioraverage case analysis of tree algorithmsgenerating functionspartial unificationreduction and simplification of expressionsrestricted programming language over tree structuresstructurally complex programssymbolic differentiation algorithmstree-matching
Recommendations
Cited in
(17)- Automatic average-case analysis of algorithms
- Calculational derivation of pointer algorithms from tree operations
- Tree enumeration and tree algorithm complexity computation
- An information technology for efficiency analysis of recursive algorithms using standard complexity recurrences
- On the average complexity for the verification of compatible sequences
- scientific article; zbMATH DE number 1696443 (Why is no real title available?)
- scientific article; zbMATH DE number 3881890 (Why is no real title available?)
- An operator calculus approach to the evolution of dynamic data structures
- scientific article; zbMATH DE number 3978405 (Why is no real title available?)
- Automating program analysis
- A complexity calculus for recursive tree algorithms
- Functions of binary trees and their applications in algorithm complexity analysis
- scientific article; zbMATH DE number 88944 (Why is no real title available?)
- On the recursion depth of special tree traversal algorithms
- Algebraic simplification in computer algebra: an analysis of bottom-up algorithms
- On the complexity of algorithms on recursive trees
- On the complexity of computing treelength
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 Q3323261)
