How to design programs : (Record no. 128691)

MARC details
000 -LEADER
fixed length control field 02738cam a22003374a 4500
001 - CONTROL NUMBER
control field ocm45058760
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251028093137.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 000914s2001 maua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 00048169
035 ## - SYSTEM CONTROL NUMBER
System control number (Sirsi) i9780262062183
035 ## - SYSTEM CONTROL NUMBER
System control number (Sirsi) i9780262062183
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency UKM
-- MUQ
-- IOJ
-- OCLCQ
-- BAKER
-- NLGGC
-- UBA
-- BTCTA
-- YDXCP
-- IG#
-- HEBIS
-- DEBBG
-- VF$
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA1-28652
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0262062186
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262062183
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)45058760
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA 76.6
Item number .H697 2001
049 ## - LOCAL HOLDINGS (OCLC)
Holding library VF$A
245 00 - TITLE STATEMENT
Title How to design programs :
Remainder of title an introduction to programming and computing /
Statement of responsibility, etc. Matthias Felleisen ... [et al.].
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, Mass. :
Name of publisher, distributor, etc. MIT Press,
Date of publication, distribution, etc. c2001.
300 ## - PHYSICAL DESCRIPTION
Extent xxx, 693 p. :
Other physical details ill. ;
Dimensions 24 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Processing simple forms of data. Students, teachers, and computers -- Numbers, expressions, simple programs -- Programs are function plus variable definitions -- Conditional expressions and functions -- Symbolic information -- Compound data, part 1: structures -- The varieties of data -- Syntax and semantics -- Processing arbitrarily large data. Compound data, part 2: lists -- More on processing lists -- Natural numbers -- Composing functions, revisited again -- List abbreviations -- More on processing arbitrarily large data. More self-referential data definitions -- Mutually referential data definitions -- Development through iterative refinement -- Processing two complex pieces of data -- Local definitions and lexical scope -- Abstracting designs. Similarities in definitions -- Functions are values -- Designing abstractions from examples -- Designing abstractions with first-class functions -- Mathematical examples -- Defining functions on the fly -- Generative recursion. A new form of recursion -- Designing algorithms -- Variations on a theme -- Algorithms that backtrack -- The cost of computing and vectors -- Accumulating knowledge. The loss of knowledge -- Designing accumulator-style functions -- More uses of accumulation -- The nature of inexact numbers -- Changing the state of variables. Memory for functions -- Assignment to variables -- Designing functions with memory -- Examples of memory usage -- The final syntax and semantics -- Changing compound values. Encapsulation -- Mutable structures -- Designing functions that change structures -- Equality -- Changing structures, vectors, and objects.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer programming.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic data processing.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Felleisen, Matthias.
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/toc/fy032/00048169.html">http://www.loc.gov/catdir/toc/fy032/00048169.html</a>
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Library of Congress Classification     Storms Research Center Storms Research Center Main Collection 10/28/2025   QA 76.6 .H697 2001 98639835 10/28/2025 10/28/2025 Book