TY  - BOOK
AU  - Hinze,Ralf
AU  - Voigtländer,Janis
ED  - SpringerLink (Online service)
TI  - Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319197975
AV  - QA76.9.L63 
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Logic design
KW  - Computer science
KW  - Software engineering
KW  - Computational complexity
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Software Engineering
KW  - Discrete Mathematics in Computer Science
KW  - Programming Languages, Compilers, Interpreters
KW  - Math Applications in Computer Science
N1  - Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics
N2  - 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. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics
UR  - https://doi.org/10.1007/978-3-319-19797-5
ER  -