Mathematics of Program Construction

5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

AvRoland Backhouse,Jose Nuno Oliveira

Häftad, Engelska, 2000

Del i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000.The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also presented are three invited contributions. The papers address issues of programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics from the mathematical and logical point of view.

Produktinformation

Utgivningsdatum:2000-06-21
Mått:155 x 233 x 15 mm
Vikt:417 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:262
Upplaga:2000
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540677277

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

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.