Mathematics of program construction
Autoren
Parameter
Mehr zum Buch
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.
Buchkauf
Mathematics of program construction, Dexter Kozen
- Sprache
- Erscheinungsdatum
- 2004
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Mathematics of program construction
- Sprache
- Englisch
- Autor*innen
- Dexter Kozen
- Verlag
- Springer
- Erscheinungsdatum
- 2004
- ISBN10
- 3540223800
- ISBN13
- 9783540223801
- Reihe
- Lecture notes in computer science
- Kategorie
- Skripten & Universitätslehrbücher
- Beschreibung
- 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.