ISBN-10:
3540677275
ISBN-13:
9783540677277
Pub. Date:
07/31/2000
Publisher:
Springer Berlin Heidelberg
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / Edition 1

Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / Edition 1

by Roland Backhouse, Jose Nuno Oliveira

Paperback

Current price is , Original price is $84.99. You
Select a Purchase Option (2000)
  • purchase options
    $67.99 $84.99 Save 20% Current price is $67.99, Original price is $84.99. You Save 20%.
  • purchase options

Product Details

ISBN-13: 9783540677277
Publisher: Springer Berlin Heidelberg
Publication date: 07/31/2000
Series: Lecture Notes in Computer Science , #1837
Edition description: 2000
Pages: 262
Product dimensions: 6.10(w) x 9.17(h) x 0.02(d)

Table of Contents

Integrating Programming, Properties, and Validation.- Polytypic Values Possess Polykinded Types.- The Zip Calculus.- Separation and Reduction.- Reasoning about Non-terminating Loops Using Deadline Commands.- Quantum Programming.- Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series.- Proving Pointer Programs in Hoare Logic.- On Guarded Commands with Fair Choice.- Formal Methods and Dependability.- Liberating Data Refinement.- Theorems about Composition.- The Universal Resolving Algorithm: Inverse Computation in a Functional Language.- Metacomputation-Based Compiler Architecture.- A Metalanguage for Programming with Bound Names Modulo Renaming.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews