000 01576cam a2200289 a 4500
001 u2239
003 SA-PMU
005 20210418123210.0
008 020731s2002 nyua b 001 0 eng
010 _a 2002031217
040 _aDLC
_cYUS
_dAU@
_dBAKER
020 _a0521780985
020 _a9780521780988
035 _a(OCoLC)223409530
042 _apcc
050 0 0 _aQA76.6
_b.M5293 2002
082 0 0 _a005.13
_221
100 1 _aMitchell, John C.
245 1 0 _aConcepts in programming language /
_cJohn C. Mitchell.
260 _aNew York :
_bCambridge University Press,
_c2002.
300 _ax, 529 p. :
_bill. ;
_c26 cm.
504 _aIncludes bibliographical references and index.
505 0 _apt. 1. Functions and Foundations. 1. Introduction. 2. Computability. 3. Lisp: Functions, Recursion, and Lists. 4. Fundamentals -- pt. 2. 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 -- pt. 3. 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 -- pt. 4. Concurrency and Logic Programming. 14. Concurrent and Distributed Programming. 15. The Logic Programming Paradigm and Prolog -- App. A. Additional Program Examples.
650 0 _aProgramming languages (Electronic computers)
596 _a1
942 _cBOOK
999 _c2000
_d2000