Mathematics of Program Construction 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings /
Mathematics of Program Construction 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / [electronic resource] :
edited by Dexter Kozen, Carron Shankland.
- 1st ed. 2004.
- X, 404 p. online resource.
- Lecture Notes in Computer Science, 3125 1611-3349 ; .
- Lecture Notes in Computer Science, 3125 .
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.
9783540277644
10.1007/b98756 doi
Software engineering.
Computer science.
Machine theory.
Compilers (Computer programs).
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Theory of Computation.
Compilers and Interpreters.
QA76.758
005.1
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.
9783540277644
10.1007/b98756 doi
Software engineering.
Computer science.
Machine theory.
Compilers (Computer programs).
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Theory of Computation.
Compilers and Interpreters.
QA76.758
005.1