Generic programming is an indispensable ingredient of modern programming languages. In the C++ programming language, generic programming is implemented by the means of parameterized fragments of code, called templates, in which parameters are constrained by concepts. This thesis consists of six publications investigating different aspects of generic programming with concepts—formal semantics of...

Programming environments for interactive graphics software typically have a multiplicity of tools and applications. Many of these programs contain ad hoc ‘little language’ interpreters 1 that do many similar things in needlessly different ways. In particular, many little languages have, in addition to their special-purpose constructs, vestigial support for ordinary programming, such as variable...

In CAGD/CAD research and education, users are involved with development of mathematical algorithms and followed by the analysis of the resultant algorithm. This process involves geometric display which can only be carried out with high end graphics display. There are many approaches practiced and one of the so-called easiest approaches is by using C/C++ programming language and OpenGL applicati...

The C language [1], developed in 1972 by Dennis Ritchie at the Bell Telephone Laboratories, is the most widely used high level programming language in the embedded systems community, both for systems programming as for the development of applications. Although as a general purpose language it is being surpassed by Java [7], C is still favourite among embedded system developers because of the ef...

Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haskell, because of its type classes, and C++ with the concept feature. We refine these criteria into a taxonomy that captures commonalities and differences between type classes in Haskell and concepts in C++, and discuss w...

Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haskell because of its type classes and C++ with the concept feature. We refine these criteria into a taxonomy that captures commonalities and differences between type classes in Haskell and concepts in C++ and discuss whic...