| 000 | 02242camuu22003734a 4500 | |
| 001 | 000045346107 | |
| 005 | 20070504162932 | |
| 008 | 020731s2003 enka 001 0 eng | |
| 010 | ▼a 2002031217 | |
| 015 | ▼a GBA2-81057 | |
| 020 | ▼a 0521780985 | |
| 020 | ▼a 9780521780988 | |
| 024 | 3 1 | ▼a 9780521780988 |
| 035 | ▼a (OCoLC)ocm50315095 | |
| 035 | ▼a (OCoLC)50315095 | |
| 035 | ▼a (KERIS)REF000006679847 | |
| 040 | ▼a DLC ▼c DLC ▼d C#P ▼d UKM ▼d CFU ▼d OCL ▼d NLGGC ▼d 211009 | |
| 042 | ▼a pcc | |
| 050 | 0 0 | ▼a QA76.6 ▼b .M5293 2003 |
| 082 | 0 4 | ▼a 005.13 ▼2 22 |
| 090 | ▼a 005.13 ▼b M681c | |
| 100 | 1 | ▼a Mitchell, John C. |
| 245 | 1 0 | ▼a Concepts in programming languages / ▼c John C. Mitchell. |
| 260 | ▼a Cambridge, UK ; ▼a New York : ▼b Cambridge University Press, ▼c c2003. | |
| 300 | ▼a x, 529 p. : ▼b ill. ; ▼c 26 cm. | |
| 500 | ▼a Includes index. | |
| 505 | 0 0 | ▼g Pt. 1. ▼t Functions and Foundations -- ▼g 1. ▼t Introduction -- ▼g 2. ▼t Computability -- ▼g 3. ▼t Lisp: Functions, Recursion, and Lists -- ▼g 4. ▼t Fundamentals -- ▼g Pt. 2. ▼t Procedures, Types, Memory Management, and Control -- ▼g 5. ▼t The Algol Family and ML -- ▼g 6. ▼t Type Systems and Type Inference -- ▼g 7. ▼t Scope, Functions, and Storage Management -- ▼g 8. ▼t Control in Sequential Languages -- ▼g Pt. 3. ▼t Modularity, Abstraction, and Object-Oriented Programming -- ▼g 9. ▼t Data Abstraction and Modularity -- ▼g 10. ▼t Concepts in Object-Oriented Languages -- ▼g 11. ▼t History of Objects: Simula and Smalltalk -- ▼g 12. ▼t Objects and Run-Time Efficiency: C++ -- ▼g 13. ▼t Portability and Safety: Java -- ▼g Pt. 4. ▼t Concurrency and Logic Programming -- ▼g 14. ▼t Concurrent and Distributed Programming -- ▼g 15. ▼t The Logic Programming Paradigm and Prolog. ▼g App. A. ▼t Additional Program Examples. |
| 650 | 0 | ▼a Programming languages (Electronic computers) |
| 650 | 1 7 | ▼a Programmeertalen. ▼2 gtt |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.13 M681c | 등록번호 121145334 (12회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
For undergraduate and beginning graduate students, this textbook explains and examines the central concepts used in modern programming languages, such as functions, types, memory management, and control. The book is unique in its comprehensive presentation and comparison of major object-oriented programming languages. Separate chapters examine the history of objects, Simula and Smalltalk, and the prominent languages C++ and Java. The author presents foundational topics, such as lambda calculus and denotational semantics, in an easy-to-read, informal style, focusing on the main insights provided by these theories. Advanced topics include concurrency, concurrent object-oriented programming, program components, and inter-language interoperability. A chapter on logic programming illustrates the importance of specialized programming methods for certain kinds of problems. This book will give the reader a better understanding of the issues and tradeoffs that arise in programming language design, and a better appreciation of the advantages and pitfalls of the programming languages they use.
A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.
정보제공 :
목차
Part I. Functions and Foundations: 1. Introduction; 2. Computability; 3. Lisp: functions, recursion and lists; 4. Fundamentals; Part II. Procedures, Types, Memory Management and Control: 5. The Algol family and ML; 6. Type systems and type inference; 7. Scope, functions and storage management; 8. Control in sequential languages; Part III. Modularity, Abstraction and Object-Oriented Programming: 9. Data abstraction and modularity; 10. Concepts in object-oriented languages; 11. History of objects: simula and smalltalk; 12. Objects and run-time efficiency: C++; 13. Portability and safety: Java; Part IV. Concurrency and Logic Programming: 14. Concurrent and distributed programming; 15. The logic programming paradigm and prolog by Krzysztof Apt; Appendix: additional programming examples; Glossary.
정보제공 :