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

Kozen, Dexter; Shankland, Carron

 
9783662214077: Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
Softcover
ISBN 10: 3662214075 ISBN 13: 9783662214077
Publisher: Springer, 2014

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3662214075
ISBN 13 
9783662214077
Binding
Paperback
Number of pages
416

Other Popular Editions of the Same Title

9783540223801: Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)

Featured Edition

ISBN 10:  3540223800 ISBN 13:  9783540223801
Publisher: Springer, 2004
Softcover