Algorithm design through the optimization of reuse-based generation
From MaRDI portal
Publication:1980486
DOI10.1007/978-981-16-1877-2_2zbMATH Open1481.68048OpenAlexW3156376435MaRDI QIDQ1980486FDOQ1980486
Authors: Haipeng Shi, Shenghua Xu, Hai-He Shi 
Publication date: 8 September 2021
Full work available at URL: https://doi.org/10.1007/978-981-16-1877-2_2
Recommendations
- An incremental approach to automatic algorithm design
- Optimal deterministic algorithm generation
- A problem reduction based approach to discrete optimization algorithm design
- Combinatorial optimization problem reduction and algorithm derivation
- Evolution of templates for synthesis of scientific algorithms
Searching and sorting (68P10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) General topics in the theory of algorithms (68W01)
Cites Work
- Cocktail: A tool for deriving correct programs
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Title not available (Why is that?)
- A categorical manifesto
- Title not available (Why is that?)
- COAL: a generic modelling and prototyping framework for convex optimization problems of variational image analysis
- Title not available (Why is that?)
- A family of linear programming algorithms based on an algorithm by von Neumann
- Fully abstract models of typed \(\lambda\)-calculi
- Algorithm classification through synthesis
- A simple greedy algorithm for a class of shuttle transportation problems
- A Linear In-situ Algorithm for the Power of Cyclic Permutation
- Formal derivation of graph algorithmic programs using partition-and-recur
- Algorithmics. The spirit of computing
Cited In (6)
- Optimal deterministic algorithm generation
- A problem reduction based approach to discrete optimization algorithm design
- Combinatorial optimization problem reduction and algorithm derivation
- Evolution of templates for synthesis of scientific algorithms
- Algorithm design from procedures of a fixed set and minimization of the input data
- An incremental approach to automatic algorithm design
This page was built for publication: Algorithm design through the optimization of reuse-based generation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1980486)
