Concept-based component libraries and optimizing compilers
S.D.P. Gregor, Banan Ahmed Alhashim Osman, David R. Musser, Jeremy G. Siek, L.-Q. Lee, Andrew Lumsdaine · 2002
This paper discusses concept lattices and some of their applications in component library development and compiler optimizations. Ongoing work on concept-based user-extensible simplification (type-based optimizer generators) and library transformations is first reviewed, then a new application--categorization of algorithms via precise descriptions of their performance characteristics--is outlined, with Standard Template Library and Boost Graph Library algorithm concept lattices as example.