Amazon cover image
Image from Amazon.com

Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / Jeremy Gibbons, Pablo Nogueira (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7342. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Berlin ; New York : Springer, ©2012.Description: 1 online resource (x, 362 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642311130
  • 364231113X
  • 3642311121
  • 9783642311123
Other title:
  • MPC 2012
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.101/51 23
LOC classification:
  • QA76.9.M65 M63 2012
Online resources:
Contents:
Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs / Gilles Barthe, Benjamin Grégoire and Santiago Zanella Béguelin -- The Laws of Programming Unify Process Calculi / Tony Hoare and Stephan van Staden -- The Geometry of Synthesis: How to Make Hardware Out of Software / Dan R. Ghica -- Scheduler-Independent Declassification / Alexander Lux, Heiko Mantel and Matthias Perner -- Elementary Probability Theory in the Eindhoven Style / Carroll Morgan -- Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-n / Louis Mandel and Florence Plateau -- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications / Brijesh Dongol and Ian J. Hayes -- Calculating Graph Algorithms for Dominance and Shortest Path / Ilya Sergey, Jan Midtgaard and Dave Clarke -- First-Past-the-Post Games / Roland Backhouse -- Reverse Exchange for Concurrency and Local Reasoning / Han-Hing Dang and Bernhard Möller -- Unifying Correctness Statements / Walter Guttmann -- Dependently Typed Programming Based on Automated Theorem Proving / Alasdair Armstrong, Simon Foster and Georg Struth -- An Algebraic Calculus of Database Preferences / Bernhard Möller, Patrick Roocks and Markus Endres -- Modular Tree Automata / Patrick Bahr -- Constructing Applicative Functors / Ross Paterson -- Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick / Ralf Hinze.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs / Gilles Barthe, Benjamin Grégoire and Santiago Zanella Béguelin -- The Laws of Programming Unify Process Calculi / Tony Hoare and Stephan van Staden -- The Geometry of Synthesis: How to Make Hardware Out of Software / Dan R. Ghica -- Scheduler-Independent Declassification / Alexander Lux, Heiko Mantel and Matthias Perner -- Elementary Probability Theory in the Eindhoven Style / Carroll Morgan -- Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-n / Louis Mandel and Florence Plateau -- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications / Brijesh Dongol and Ian J. Hayes -- Calculating Graph Algorithms for Dominance and Shortest Path / Ilya Sergey, Jan Midtgaard and Dave Clarke -- First-Past-the-Post Games / Roland Backhouse -- Reverse Exchange for Concurrency and Local Reasoning / Han-Hing Dang and Bernhard Möller -- Unifying Correctness Statements / Walter Guttmann -- Dependently Typed Programming Based on Automated Theorem Proving / Alasdair Armstrong, Simon Foster and Georg Struth -- An Algebraic Calculus of Database Preferences / Bernhard Möller, Patrick Roocks and Markus Endres -- Modular Tree Automata / Patrick Bahr -- Constructing Applicative Functors / Ross Paterson -- Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick / Ralf Hinze.

Includes bibliographical references and author index.

Online resource; title from PDF title page (SpringerLink, viewed August 10, 2012).

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.

English.

Powered by Koha