Amazon cover image
Image from Amazon.com

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / Eerke A. Boiten, Bernhard Möller (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 2386.Publication details: Berlin ; New York : Springer, 2002.Description: 1 online resource (xi, 420 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540454427
  • 354045442X
Subject(s): Genre/Form: Additional physical formats: Print version:MPC 2002 (2002 : Dagstuhl Castle): Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedingsDDC classification:
  • 005.1 21
LOC classification:
  • QA76.6 .M6926 2002
Other classification:
  • 54.51
  • 54.71
Online resources:
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.
Summary: 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 one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and author index.

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.

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 one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

Powered by Koha