Date and Time: Thursday, 08 April 2010, 15:45 - 16:45

Location: HG 6.96

Speaker: Wieger Wesselink (OAS)

Title: Generic programming in the mCRL2 toolset

Abstract:

Generic programming is about generalizing software components, to enable reuse in a wide variety of situations. In C++, generic programming is enabled using templates. A recent development is the use of C++ concepts, to formalize the C++ type system. Concepts are collections of requirements on types.

This talk will give an introduction about generic programming in C++. Also experiences with generic programming in the mCRL2 toolset will be discussed.