Concepts in programming languages / (Record no. 2001)

000 -LEADER
fixed length control field 03081cam a22003614a 4500
001 - CONTROL NUMBER
control field u3251
003 - CONTROL NUMBER IDENTIFIER
control field SA-PMU
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20210418123210.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 020731s2003 enka 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2002031217
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Transcribing agency DLC
Modifying agency C#P
-- UKM
-- CFU
-- OCL
-- NLGGC
-- BTCTA
-- BAKER
-- YDXCP
-- IG#
-- STF
-- ZQM
-- HEBIS
-- OCLCQ
-- ALAUL
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521780985
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521780988
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)50315095
Canceled/invalid control number (OCoLC)52265779
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.6
Item number .M5293 2003
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.13
Edition number 21
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Mitchell, John C.
245 10 - TITLE STATEMENT
Title Concepts in programming languages /
Statement of responsibility, etc. John C. Mitchell.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, UK ;
-- New York :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. c2003.
300 ## - PHYSICAL DESCRIPTION
Extent x, 529 p. :
Other physical details ill. ;
Dimensions 26 cm.
500 ## - GENERAL NOTE
General note Includes index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Pt. 1. Functions and foundations -- Introduction -- Computability -- Lisp: functions, recursion, and lists -- Fundamentals -- Pt. 2. Procedures, types, memory management, and control -- the Algol family and ML -- Type systems and type inference -- Scope, functions, and storage management -- Control in sequential languages -- Pt. 3. Modularity, abstraction, and object-oriented programming -- Data abstraction and modularity -- Concepts in object-oriented languages -- History of objects: Simula and Smalltalk -- Objects and run-time efficiency: C++ -- Portability and safety: Java -- Pt. 4. Concurrency and logic programming -- Concurrent and distributed programming -- The logic programming paradigm and prolog.
520 ## - SUMMARY, ETC.
Summary, etc. 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.
596 ## -
-- 1
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming languages (Electronic computers)
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Sample text
Uniform Resource Identifier <a href="http://catdir.loc.gov/catdir/samples/cam033/2002031217.html">http://catdir.loc.gov/catdir/samples/cam033/2002031217.html</a>
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents
Uniform Resource Identifier <a href="http://catdir.loc.gov/catdir/toc/cam031/2002031217.html">http://catdir.loc.gov/catdir/toc/cam031/2002031217.html</a>
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://catdir.loc.gov/catdir/description/cam0210/2002031217.html">http://catdir.loc.gov/catdir/description/cam0210/2002031217.html</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
994 ## -
-- Z0
-- SUPMU
948 ## - LOCAL PROCESSING INFORMATION (OCLC); SERIES PART DESIGNATOR (RLIN)
h (OCLC) NO HOLDINGS IN SUPMU - 552 OTHER HOLDINGS

No items available.