This volume contains the proceedings of the 11th International Conference on Veri?cation, Model C...

This book constitutes the thoroughly refereed post-conference proceedings of the 26th Internation...

This book constitutes the refereed proceedings of the 9th International Symposium on Functional a...

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th annive...

This book constitutes the refereed proceedings of the 30th International Symposium on Static Anal...

This book constitutes the proceedings of the Seventh International Symposium on Programming Langu...

This volume contains the proceedings of the 9th International Symposium on Functional and Logic P...

The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for r...

This volume constitutes the proceedings of the 6th International Symposium on Programming Languag...

This volume contains the proceedings of the 11th International Conference on Veri?cation, Model C...

This book constitutes the thoroughly refereed post-conference proceedings of the 26th Internat...