Mathematics of program construction: 12th international conference, mpc 2015, königswinter, germany, june 29--july 1, 2015. proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319197968
Date de publication :
12 juin 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.