程序構(gòu)造的數(shù)學(xué) Mathematics of program construction

內(nèi)容概要

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.

書籍目錄

Invited Talks  Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm  Some Results in Dynamic Model Theory  Mathematics in Computer Science CurriculaContributed 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 AlgebraAuthor Index

圖書封面

評論、評分、閱讀與下載

---

    程序構(gòu)造的數(shù)學(xué) Mathematics of program construction PDF格式下載

---