Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.

Product details

• Assisted by: Jerem Gibbons (Editor), Jeremy Gibbons (Editor), Nogueira (Editor), Nogueira (Editor), Pablo Nogueira (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 11.05.2012
• EAN: 9783642311123
• ISBN: 978-3-642-31112-3
• No. of pages: 363
• Illustrations: X, 363 p. 57 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, computer science, Theory of Computation, Logics and Meanings of Programs, Mathematical Applications in Computer Science, Discrete Mathematics in Computer Science, Discrete Mathematics, Programming Languages, Compilers, Interpreters, Mathematical & statistical software, Mathematical theory of computation, Computer science—Mathematics, Maths for computer scientists, Math Applications in Computer Science, Mathematical logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic