Generic programming is requirement oriented programming. We study the concept of genericity and generic concepts. Support
of generic programming is exemplified by Tecton formalizations of algebraic and STL concepts. We call for a common effort to establish and maintain generic libraries.
Keywords generic programming - requirement oriented programming - concept description language - specification language - formal verification - standard template library - algebraic concept definitions - Tecton