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

This book constitutes the refereed proceedings of the 6th International Conference on Integrated ...

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

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...

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

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

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

This book is devoted to five main principles of algorithm design: divide and conquer, greedy algo...

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

Since W. B. Yeats wrote in 1890 that "e;the man of science is too often a person who has exch...

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