This book constitutes the refereed proceedings of the 11th International Conference on Mathematic...

This book constitutes the thoroughly refereed post-conference proceedings of the Third Internatio...

Generic programming is about making programs more adaptable by making them more general. Generic ...

Generic programming is about making programs more widely applicable via exotic kinds of parametri...

Program construction is about turning specifications of computer software into implementations. R...

Verifying Temporal Properties of CommUnity Designs.- Precise Scenarios - A Customer-Friendly Foun...

A leitmotif in the evolution of programming paradigms has been the level and extent of parametris...

Generic programming attempts to make programming more efficient by making it more general. This b...

This volume contains the proceedings of TFM2009, the Second International FME Conference on Teach...

Bidirectional transformations (BX) are means of maintaining consistency between multiple informat...

This book constitutes the proceedings of the 17th International Symposium on Functional and Logic...

This book constitutes revised selected papers from the 26th International Symposium on Trends in ...