This book takes as its central theme the contention that functional languages are more appropriate than conventional imperative languages for addressing the important concerns of software science. The book therefore explores, in detail, the theme of program specification, verification and transformation along with semantics, implementation, languages design and programming in order to provide a comprehensive account of these programming languages and an explanation for the intense interest they are generating in the research community. It contains many exercises, suggestions for project work, extensive bibliographic notes and many references to current research, and thus provides a useful guide to both current and historical literature. The book will be of interest to final year undergraduates, postgraduates and members of the wider computing community with an interest in software science.
- ISBN10 0632017392
- ISBN13 9780632017393
- Publish Date 23 October 1987 (first published 1 October 1987)
- Publish Status Out of Print
- Out of Print 11 April 1995
- Publish Country GB
- Publisher John Wiley and Sons Ltd
- Imprint Blackwell Science Ltd
- Edition Illustrated edition
- Format Hardcover
- Pages 448
- Language English