Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Gibbons, Jeremy.
editor.
Nogueira, Pablo.
editor.
SpringerLink (Online service)
text
gw
2012
monographic
eng
access
X, 363 p. 57 illus. online resource.
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.
edited by Jeremy Gibbons, Pablo Nogueira.
Computer science
Software engineering
Programming languages (Electronic computers)
Computer logic
Mathematical logic
Computer science
Mathematics
Computer Science
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
QA76.9.L63
QA76.5913
QA76.63
005.1015113
Springer eBooks
Lecture Notes in Computer Science, 7342
9783642311130
http://dx.doi.org/10.1007/978-3-642-31113-0
http://dx.doi.org/10.1007/978-3-642-31113-0
120620
20170515111821.0
978-3-642-31113-0