Mathematics of Program Construction 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Kozen, Dexter (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.