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.

Produktdetails

• Autoren: Guy Cousineau, Michel Mauny, Guy Mauny Cousineau, Cousineau Guy
• Mitarbeit: K. Callaway (Übersetzung)
• Verlag: Cambridge University Press ELT
• Inhalt: Buch
• Produktform: Taschenbuch
• Erscheinungsdatum: 29.10.1998
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Programmiersprachen
• EAN: 9780521576819
• ISBN: 978-0-521-57681-9
• Anzahl Seiten: 460
• Themen: Computer Programming / Software Development; Functional programming; COMPUTERS / Languages / General