Mathematics of program construction

InhaltsverzeichnisInvited 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.