If such battery is not available, the Battery search template is called. The search template recursively searches battery types in steps of 10 units of power. This is an example of compile-time computation using template metaprogramming. Now we can construct automatically configured cars in a program. The required frames and the required battery are determined by the compiler.
Any inconsistent configurations cause compile-time errors.
Further Results and Outlook The authors and Tobias Neubert of University of Chemnitz developed a comprehensive matrix computation package based on generative techniques. 6000 lines of code. There would be much more to say about the generative techniques. M. Aksit, B. Tekinerdogan, and L. Bergmans. Achieving adaptability through separation and composition of concerns.