Kozen / Shankland | Mathematics of Program Construction | E-Book | sack.de
E-Book

E-Book, Englisch, Band 3125, 404 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Kozen / Shankland Mathematics of Program Construction

7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
Erscheinungsjahr 2004
ISBN: 978-3-540-27764-4
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, Band 3125, 404 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-27764-4
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Kozen / Shankland Mathematics of Program Construction jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Kozen, Dexter
Shankland, Carron

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.