Elements of functional languages

著者

• Henson, Martin C.

書誌事項

Elements of functional languages

Martin C. Henson

（Computer science texts / consulting editors K.J. Bowcock, Dr. A.M. Gibbons, M.C. Henson）

Blackwell Scientific Publications, 1987

• : pbk.

注記

Includes bibliographies and index

内容説明・目次

内容説明

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.

目次

• Functional languages
• Lambda and combinatory calculi
• Programming and verification
• Program transformation
• FP systems
• Implementation
• Theoretical foundations
• Compiler derivation - a worked example in functional programming. Appendix A : Mathematical preliminaries. Appendix B : Computational preliminaries
• Solutions to exercises.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA0143621X
• ISBN:
  • 0632017392
  • 0632015063
• LCCN: 87000792
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Oxford ; Boston
• ページ数/冊数: xiii, 434 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.7
  • DC19 : 005.13
• 件名:
  • LCSH : Functional programming languages
• 親書誌ID:
  • BA00195490