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.

Elements of Functional Languages

Henson, Martin C.

Computers & Technology

Alfred Waller Ltd

Elements of Functional Languages (Computer Science Texts)

Blackwell Science Inc.

See the best price to sell, buy, or rent books by Henson, Martin C.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Henson, Martin C.

See the best price to sell, buy, or rent books by Henson, Martin C.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Elements of Functional Languages

Elements of Functional Languages (Computer Science Texts)