Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6874862 | Journal of Logical and Algebraic Methods in Programming | 2018 | 48 Pages |
Abstract
The strategy is illustrated with examples including the derivation of the quicksort and mergesort algorithms, showing what they have in common and what makes them different from the very start of development.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
José Nuno Oliveira,