Algorithm design through the optimization of reuse-based generation

DOI10.1007/978-981-16-1877-2_2zbMath1481.68048OpenAlexW3156376435MaRDI QIDQ1980486

Shenghua Xu, Haipeng Shi, Hai-He Shi

Publication date: 8 September 2021

Full work available at URL: https://doi.org/10.1007/978-981-16-1877-2_2

zbMATH Keywords

formal methodsoftware developmentalgorithm generationreuse-based optimization

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A simple greedy algorithm for a class of shuttle transportation problems
• Fully abstract models of typed \(\lambda\)-calculi
• Formal derivation of graph algorithmic programs using partition-and-recur
• COAL: a generic modelling and prototyping framework for convex optimization problems of variational image analysis
• A Linear In-situ Algorithm for the Power of Cyclic Permutation
• A family of linear programming algorithms based on an algorithm by von Neumann
• Algorithm classification through synthesis
• A categorical manifesto
• An axiomatic basis for computer programming

This page was built for publication: Algorithm design through the optimization of reuse-based generation