Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /

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

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Hinze, Ralf (Editor), Voigtländer, Janis (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Computer science > Mathematics.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Math Applications in Computer Science.
Online Access:http://dx.doi.org/10.1007/978-3-319-19797-5
Перейти в каталог НБ ТГУ
Table of Contents:
  • Type Systems
  • Program analysis and Transformation
  • Programming-language semantics
  • Security
  • Program logics.

Similar Items