Datatype-Generic Programming

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

The Fun of Programming

Generic Programming

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

Mathematics of Program Construction

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

Foundations of Health Information Engineering and Systems

InhaltsangabeInvited Papers.- Intelligent Tools for Reducing Medication Dispensing and Administra...

Generic Programming

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

Teaching Formal Methods

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

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

InhaltsangabeOrdered Sets and Complete Lattices.- Algebras and Coalgebras.- Galois Connections an...

Generic and Indexed Programming

InhaltsangabeThree Complementary Approaches to Bidirectional Programming.-Generic Programming wit...

Bidirectional Transformations

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

Functional and Logic Programming

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

Generic Programming

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