Get Free Shipping on orders over $0
Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings - Dexter Kozen

Mathematics of Program Construction

7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

By: Dexter Kozen (Editor), Carron Shankland (Editor)

Paperback | 12 March 2014

At a Glance

Paperback


$129.75

or 4 interest-free payments of $32.44 with

 or 

Ships in 10 to 15 business days

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.

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
C++ Programming Language (hardcover), The - Bjarne Stroustrup

RRP $117.91

$89.99

24%
OFF
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.99

30%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$50.75

27%
OFF
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$106.40

20%
OFF
C# 12 Pocket Reference : Instant Help for C# 12 Programmers - Joseph Albahari
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang