Algorithm theories and design tactics

DOI10.1016/0167-6423(90)90025-9zbMath0705.68077OpenAlexW2177760151MaRDI QIDQ918221

Michael R. Lowry, Douglas R. Smith

Publication date: 1990

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(90)90025-9

zbMATH Keywords

program specificationalgorithm theoryalgorithm designformal derivation of algorithmsprogram theory

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (5)

Categories, relations and dynamic programming ⋮ Synthesis of implementations for divide-and-conquer specifications ⋮ A problem reduction based approach to discrete optimization algorithm design ⋮ Program construction by verifying specification ⋮ Constructing specification morphisms

Uses Software

• OBJ3

This page was built for publication: Algorithm theories and design tactics