Functional Approach to Programming

Zusammenfassung The authors introduce functional programming via examples and explain what programs compute and how to reason about them. They implement the ideas in Caml and in Standard ML! and give examples of how complex programs can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available. Inhaltsverzeichnis Introduction; Part I. Basic Principles: 1. Expressions; 2. Data structures; 3. Semantics; 4. Imperative aspects; Part II. Applications: 5. Exact arithmetic; 6. Formal terms, filtering, and unification; 7. Balanced trees; 8. Graphs and problem resolution; 9. Syntactic analysis; 10. Geometry and designs; Part III. Implementation: 11. Evaluation; 12. Compilation; 13. Types and typing; Appendix 1. Help for Caml Light 0.6; Appendix 2. How to Get Caml, MLgraph, and the examples; Bibliography; Index.

Product details

• Authors: Guy Cousineau, Guy Mauny Cousineau, Cousineau Guy, Michel Mauny
• Assisted by: K. Callaway (Translation)
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Paperback / Softback
• Released: 29.10.1998
• EAN: 9780521576819
• ISBN: 978-0-521-57681-9
• No. of pages: 460
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; Computer Programming / Software Development, Functional programming, COMPUTERS / Languages / General