Ralf Hinze (auth.), Philippe Audebaud, Christine Paulin-Mohring (eds.)3540705937, 9783540705932
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.
The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
Table of contents :
Front Matter….Pages –
Exploiting Unique Fixed Points….Pages 1-1
Scrap Your Type Applications….Pages 2-27
Programming with Effects in Coq….Pages 28-28
Verifying a Semantic βη -Conversion Test for Martin-Löf Type Theory….Pages 29-56
The Capacity- C Torch Problem….Pages 57-78
Recounting the Rationals: Twice!….Pages 79-91
Zippy Tabulations of Recursive Functions….Pages 92-109
Unfolding Abstract Datatypes….Pages 110-133
Circulations, Fuzzy Relations and Semirings….Pages 134-152
Asynchronous Exceptions as an Effect….Pages 153-176
The Böhm–Jacopini Theorem Is False, Propositionally….Pages 177-192
The Expression Lemma….Pages 193-219
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening….Pages 220-242
Probabilistic Choice in Refinement Algebra….Pages 243-267
Algebra of Programming Using Dependent Types….Pages 268-283
Safe Modification of Pointer Programs in Refinement Calculus….Pages 284-304
A Hoare Logic for Call-by-Value Functional Programs….Pages 305-335
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems….Pages 336-359
Modal Semirings Revisited….Pages 360-387
Asymptotic Improvement of Computations over Free Monads….Pages 388-403
Symmetric and Synchronous Communication in Peer-to-Peer Networks….Pages 404-421
Back Matter….Pages –
Reviews
There are no reviews yet.