Name: Algorithimic Languages and Calculi By Richard Bird
SKU: 9780412820502
Price: 497.89 AUD
Availability: InStock

Algorithimic Languages and Calculi Summary

Algorithimic Languages and Calculi by Richard Bird

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.

Preface. Programme committee. Dynamic programming: a different perspective - S. Curtis. Calculating with pointer structures - B. Moller. Deriving a systolic regular language recognizer - M. Vaccarri and R. Backhouse. Discussion. A calculation fusion system HYLO - Y. Onoue, Z. Hu, H. Iwasaki and M. Takeichi. Refinement of data parallel programs in PEI - E. Violard, S. Genaud and G-R. Perrin. Solving large systems of differential equations in parallel using covers and skeletons - M. Sudholt, C. Piepenbrock, K. Obermayer and P. Pepper. Discussion. Refinement of parameterized algebraic specifications - Y.V. Srinivas. Towards a compositional interpretation of object diagrams - J.C. Bicarregui, K.C. Lano and T.S.E. Maibaum. A powerful transformation rule, its applications and variants - K. Achatz and H. Partsch. Program derivation via list introduction - A. Pettorossi and M. Proietti. Towards a calculus for abstract syntax trees - D.S. Wile. Discussion. Principled strength reduction - Y.A. Liu. The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset - D. Goyal and R. Paige. Predicative semantics of loops - T.S. Norvell. Discussion. Index of contributors. Keyword index.

Additional information

Sku

NPB9780412820502

ISBN 13

9780412820502

ISBN 10

0412820501

Title

Algorithimic Languages and Calculi by Richard Bird

Author

Richard Bird

Series

IFIP Advances in Information and Communication Technology

Condition

New

Binding type

Hardback

Publisher

Chapman and Hall

Year published

1997-07-31

Number of pages

443

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Algorithimic Languages and Calculi Richard Bird

Algorithimic Languages and Calculi by Richard Bird

Summary

Algorithimic Languages and Calculi Summary

Algorithimic Languages and Calculi by Richard Bird

Table of Contents

Additional information

Customer Reviews - Algorithimic Languages and Calculi