This paper presents a new approach to algorithm design and analysis that benefits from the OO characteristics of Java. It consists of first defining the inheritance structure of a collection of algorithms, at different levels of abstraction. Then, correctness proofs…
Fecha:
2011-01-22
Recurso:
Facultad de Ciencias - UNAM
CIC - Centro de Información y Conocimiento Johannes Gutenberg ®