TY  - BOOK
AU  - Hinze,Ralf
AU  - Voigtländer,Janis
ED  - MPC (Conference)
TI  - Mathematics of program construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings 
T2  - Lecture notes in computer science,
SN  - 9783319197975
AV  - QA76.6 .M63 2015eb
U1  - 005.101/51 23
PY  - 2015///
CY  - Cham
PB  - Springer
KW  - Computer programming
KW  - Mathematics
KW  - Congresses
KW  - Computer programs
KW  - Electronic Data Processing
KW  - Programmation (Informatique)
KW  - Mathématiques
KW  - Congrès
KW  - Logiciels
KW  - Informatique
KW  - computer science
KW  - aat
KW  - data processing
KW  - Mathematical theory of computation
KW  - bicssc
KW  - Software Engineering
KW  - Discrete mathematics
KW  - Programming & scripting languages: general
KW  - Maths for computer scientists
KW  - software development
KW  - Logic
KW  - bisacsh
KW  - Computers
KW  - Software Development & Engineering
KW  - General
KW  - Data Processing
KW  - Programming Languages
KW  - Programming
KW  - Computer logic
KW  - fast
KW  - Computer science
KW  - Logic, Symbolic and mathematical
KW  - Programming languages (Electronic computers)
KW  - Software engineering
KW  - Congress
KW  - proceedings (reports)
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes bibliographical references and author index; 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://link.springer.com/10.1007/978-3-319-19797-5
ER  -