ENGLISH

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

By Jeremy Gibbons , Gilles Barthe , Benjamin Grégoire , Santiago Zanella Béguelin (auth.) , Pablo Nogueira (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2012
ISBN
9783642311130, 364231113X
DOI
10.1007/978-3-642-31113-0
Language
english
Format
PDF
Filesize
3 MB (3242241 bytes)
Series
Lecture Notes in Computer Science 7342 Theoretical Computer Science and General Issues
Edition
1
Pages
363\372
Time added
2013-04-24 17:00:00
CompilersInterpreters; Math Applications in Computer SciencLogics and Meanings of Programs; Mathematical Logi

Description

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.

Similar books