Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002. The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are...
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2002.
|
| Series: | Lecture notes in computer science ;
2386. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Implementing algebraic dynamic programming in the functional and the imperative programming paradigm / Robert Giegerich and Peter Steffen
- Some results in dynamic model theory / Dexter Kozen
- Mathematics in computer science curricula / Jeannette M. Wing
- Logical relations and galois connections / Kevin Backhouse and Roland Backhouse
- Transformational derivation of greedy network algorithms from descriptive specifications / Juan Eduardo Duran
- Fine control of demand in Haskell / William Harrison, Tim Sheard, and James Hook
- Reasoning about timeouts / Ian J. Hayes
- Eternity variables to simulate specifications / Wim H. Hesselink
- Constructing tournament representations / Ralf Hinze
- Type-indexed data types / Ralf Hinze, Johan Jeuring, and Andres Loh
- Verification of Java's AbstractCollection Class / Marieke Huisman
- Solving regular path queries / Yanhong A. Liu and Fuxiang Yu
- Inverting functions as folds / Shin-Cheng Mu and Richard Bird
- From Kleene algebra to refinement algebra / Joakim von Wright.