| 000 | 01655camuu2200433 a 4500 | |
| 001 | 000045346111 | |
| 005 | 20070504100414 | |
| 008 | 971006s1998 enka b 001 0 eng | |
| 010 | ▼a 97042892 | |
| 020 | ▼a 0521571839 (hbk.) | |
| 020 | ▼a 0521576814 (pbk.) | |
| 020 | ▼a 9780521576819 (pbk.) | |
| 024 | 3 1 | ▼a 9780521576819 |
| 035 | ▼a (OCoLC)ocm37761984 | |
| 035 | ▼a (OCoLC)37761984 | |
| 035 | ▼a (KERIS)REF000006681779 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 211009 | |
| 041 | 1 | ▼a eng ▼h fre |
| 050 | 0 0 | ▼a QA76.62 ▼b .C68 1998 |
| 082 | 0 0 | ▼a 005.13/3 ▼2 21 |
| 082 | 0 4 | ▼a 005.1/14 ▼2 22 |
| 090 | ▼a 005.114 ▼b C867aE | |
| 100 | 1 | ▼a Cousineau, Guy. |
| 240 | 1 0 | ▼a Approche fonctionnelle de la programmation. ▼l English. |
| 245 | 1 4 | ▼a The functional approach to programming / ▼c Guy Cousineau and Michel Mauny. |
| 250 | ▼a English ed. | |
| 260 | ▼a Cambridge, U.K. ; ▼a New York, NY, USA : ▼b Cambridge University Press, ▼c 1998. | |
| 300 | ▼a xiv, 445 p. : ▼b ill. ; ▼c 26 cm. | |
| 500 | ▼a 1st published in French by Edisciences 1995. | |
| 504 | ▼a Includes bibliographical references (p. [427]-429) and indexes. | |
| 650 | 0 | ▼a Functional programming (Computer science) |
| 650 | 6 | ▼a Programmation fonctionnelle (informatique) |
| 650 | 6 | ▼a Langage programmation. |
| 650 | 6 | ▼a Langages de programmation fonctionnelle. |
| 650 | 6 | ▼a Caml (langage de programmation) |
| 700 | 1 | ▼a Mauny, Michel, ▼d 1959-. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.114 C867aE | 등록번호 121145329 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
A programming course should concentrate as much as possible on a program's logical structure and design rather than simply show how to write code. The Functional Approach to Programming achieves this aim because logical concepts are evident and programs are transparent so can be written quickly and cleanly. In this book the authors emphasise the notions of function and function application which relate programming to familiar concepts from mathematics and logic. They introduce functional programming via examples but also explain what programs compute and how to reason about them. They show how the ideas can be implemented in the Caml language, a dialect of the ML family, and give examples of how complex programs from a variety of areas (such as arithmetic, tree algorithms, graph algorithms, text parsing and geometry) can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.
Advanced text on how to program in the functional way; has exercises, solutions and code.
정보제공 :
목차
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.
정보제공 :