Download or read book Algorithimic Languages and Calculi written by Richard Bird and published by Springer. This book was released on 2016-01-09 with total page 451 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.