程序构造的数学 Mathematics of program construction

出版时间：2002-12  出版社：1 edition (2002年8月1日)  作者：Eerke A. Boiten  页数：262  

内容概要

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