Buy this book
- About this book
-
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.
- Table of contents (16 chapters)
-
-
Dynamic programming: a different perspective
Pages 1-23
-
Calculating With Pointer Structures
Pages 24-48
-
Deriving a systolic regular language recognizer
Pages 49-75
-
A Calculational Fusion System HYLO
Pages 76-106
-
Refinement of data parallel programs in PEI
Pages 107-131
-
Table of contents (16 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Algorithimic Languages and Calculi
- Authors
-
- Richard Bird
- Lambert Meerkens
- Series Title
- IFIP Advances in Information and Communication Technology
- Copyright
- 1997
- Publisher
- Springer US
- Copyright Holder
- IFIP International Federation for Information Processing
- eBook ISBN
- 978-0-387-35264-0
- DOI
- 10.1007/978-0-387-35264-0
- Hardcover ISBN
- 978-0-412-82050-2
- Softcover ISBN
- 978-1-5041-2877-3
- Series ISSN
- 1868-4238
- Edition Number
- 1
- Number of Pages
- VIII, 443
- Topics
