example for libraries based on the genericprogramming paradigm. The usage of this library ... errors, but does not warrant bug-free programs. Furthermore, many new kinds of errors ... from the inaccurate use of the genericprogramming paradigm, like dereferencing invalid iterators or misunderstanding...

also be represented in computer programs. A standardized generic interface for traversing graphs ... sections, we review the role that genericprogramming plays in the STL and compare that ... applied genericprogramming in the context of graphs...

integrated development environment (IDE) for the Pascal programming language running on CP/M, CP/M-86 ... also used more generically for Borland’s dialect of the Pascal programming language, significantly different...

have been designed for a variety of programming languages, including Ada, C, C++, CLU, CORBA ... also ”generic” Larch interface languages that can be specialized for particular programming languages or used...

proving JAVA programs annotated with JML specifications. Our method is generic with respect ... proof assistant for modeling the program semantics and conducting the development of proofs, and finally...

large and sparse linear systems. Using genericprogramming techniques in C++ one can create solver ... Unified Numerics Environment” (DUNE). It applies genericprogramming in C++ to the domain of iterative...

best of which are among the fastest generic-sorting algorithms available, as testified ... default sorting algorithm in most programming libraries. Some sorting algorithms are adaptive, i.e., they have...

inheritance and design patterns (object-oriented programming). Performance is obtained by using templates that enable ... code for sections critical to performance (genericprogramming). The framework encapsulates important optimizations that...