Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Boiten, Eerke A.

ISBN 10: 3540438572 / ISBN 13: 9783540438571

Editore: Springer 2002-06, 2002

Riguardo questo articolo

Codice articolo 6666-IUK-9783540438571

Dati bibliografici

• Titolo: Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
• Editore: Springer 2002-06
• Data di pubblicazione: 2002
• Lingua: Inglese
• ISBN 10: 3540438572
• ISBN 13: 9783540438571
• Rilegatura: PF
• Condizione: New

Descrizione articolo

Riassunto

the IFIP WG2.1 working conference on Generic Programming, the third workshop on Constructive Methods for Parallel Programming, and the workshop on Types in Programming. We thank the organizers of these events for their interest in sharing the atmosphere of the conference.

Contenuti

Invited Talks.- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm.- Some Results in Dynamic Model Theory.- Mathematics in Computer Science Curricula.- Contributed Papers.- Logical Relations and Galois Connections.- Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications.- Fine Control of Demand in Haskell.- Reasoning about Timeouts.- Eternity Variables to Simulate Specifications.- Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.- Type-Indexed Data Types.- Verification of Java’s AbstractCollection Class: A Case Study.- Solving Regular Path Queries.- Inverting Functions as Folds.- From Kleene Algebra to Refinement Algebra.