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 ...
Read More
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.
Read Less
Add this copy of Elements of Functional Languages to cart. $118.16, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1988 by Alfred Waller Ltd.
