Mathematics of program construction
Authors
Parameters
More about the book
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.
Book purchase
Mathematics of program construction, Dexter Kozen
- Language
- Released
- 2004
Payment methods
- Title
- Mathematics of program construction
- Language
- English
- Authors
- Dexter Kozen
- Publisher
- Springer
- Released
- 2004
- ISBN10
- 3540223800
- ISBN13
- 9783540223801
- Series
- Lecture notes in computer science
- Category
- University and college textbooks
- Description
- 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.