![Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /](/search/themes/bootstrap3/images/libros.png)
Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /
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.
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2004
|
| Subjects: | Computer science., Software engineering., Programming languages (Electronic computers)., Computers., Computer logic., Mathematical logic., Computer Science., Software Engineering/Programming and Operating Systems., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., Software Engineering., Computation by Abstract Devices., Programming Languages, Compilers, Interpreters., |
| Online Access: | http://dx.doi.org/10.1007/b98756 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|