Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings by Dexter KozenMathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings by Dexter Kozen

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK…

byDexter KozenEditorCarron Shankland

Paperback | June 24, 2004

Pricing and Purchase Info

$136.79 online 
$164.50 list price save 16%
Earn 684 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
Title:Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK…Format:PaperbackDimensions:404 pages, 23.5 × 15.5 × 1.73 inPublished:June 24, 2004Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540223800

ISBN - 13:9783540223801

Look for similar items by category:

Reviews

Table of Contents

Invited Talk.- Extended Static Checking for Java.- Contributed Papers.- Constructing Polymorphic Programs with Quotient Types.- Optimizing Generic Functions.- Inferring Type Isomorphisms Generically.- Friends Need a Bit More: Maintaining Invariants Over Shared State.- Chasing Bottoms.- Describing Gen/Kill Static Analysis Techniques with Kleene Algebra.- A Free Construction of Kleene Algebras with Tests.- Streaming Representation-Changers.- Probabilistic Predicative Programming.- An Algebra of Scans.- Compiling Exceptions Correctly.- Modelling Nondeterminism.- Lazy Kleene Algebra.- Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy.- An Injective Language for Reversible Computation.- Prototyping Generic Programming in Template Haskell.- Transposing Relations: From Maybe Functions to Hash Tables.- Pointer Theory and Weakest Preconditions without Addresses and Heap.- Travelling Processes.