Mathematics of Program Construction 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2004.
|
Σειρά: | Lecture Notes in Computer Science,
3125 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.