MARC details
| 000 -LEADER |
| fixed length control field |
04284nam a2200349 4500 |
| 001 - CONTROL NUMBER |
| control field |
OTLid0000035 |
| 003 - CONTROL NUMBER IDENTIFIER |
| control field |
MnU |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
| control field |
20201105133251.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
| fixed length control field |
m o d s |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
| fixed length control field |
180907s2007 mnu o 0 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| International Standard Book Number |
0073523399 |
| 040 ## - CATALOGING SOURCE |
| Original cataloging agency |
MnU |
| Language of cataloging |
eng |
| Transcribing agency |
MnU |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
| Classification number |
QA76 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
| Personal name |
Krishnamurthi, Shriram |
| Relator term |
author |
| 245 00 - TITLE STATEMENT |
| Title |
Programming Languages |
| Remainder of title |
Application and Interpretation |
| Statement of responsibility, etc. |
Shriram Krishnamurthi |
| 264 #2 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
| Name of producer, publisher, distributor, manufacturer |
Open Textbook Library |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
| Name of producer, publisher, distributor, manufacturer |
Brown University |
| 300 ## - PHYSICAL DESCRIPTION |
| Extent |
1 online resource |
| 490 0# - SERIES STATEMENT |
| Series statement |
Open textbook library. |
| 505 0# - FORMATTED CONTENTS NOTE |
| Formatted contents note |
1 Introduction -- 2 Everything (We Will Say) About Parsing -- 3 A First Look at Interpretation -- 4 A First Taste of Desugaring -- 5 Adding Functions to the Language -- 6 From Substitution to Environments -- 7 Functions Anywhere -- 8 Mutation Structures and Variables -- 9 Recursion and Cycles: Procedures and Data -- 10 Objects -- 11 Memory Management -- 12 Representation Decisions -- 13 Desugaring as a Language Feature -- 14 Control Operations -- 15 Checking Program Invariants Statically: Types -- 16 Checking Program Invariants Dynamically: Contracts -- 17 Alternate Application Semantics |
| 520 0# - SUMMARY, ETC. |
| Summary, etc. |
Unlike some other textbooks, this one does not follow a top-down narrative. Rather it has the flow of a conversation, with backtracking. We will often build up programs incrementally, just as a pair of programmers would. We will include mistakes, not because I don't know the answer, but because this is the best way for you to learn. Including mistakes makes it impossible for you to read passively: you must instead engage with the material, because you can never be sure of the veracity of what you're reading. At the end, you'll always get to the right answer. However, this non-linear path is more frustrating in the short term (you will often be tempted to say, "Just tell me the answer, already!"), and it makes the book a poor reference guide (you can't open up to a random page and be sure what it says is correct). However, that feeling of frustration is the sensation of learning. I don't know of a way around it. At various points you will encounter this: ExerciseThis is an exercise. Do try it. This is a traditional textbook exercise. It's something you need to do on your own. If you're using this book as part of a course, this may very well have been assigned as homework. In contrast, you will also find exercise-like questions that look like this: Do Now!There's an activity here! Do you see it? When you get to one of these, stop. Read, think, and formulate an answer before you proceed. You must do this because this is actually an exercise, but the answer is already in the book-most often in the text immediately following (i.e., in the part you're reading right now)-or is something you can determine for yourself by running a program. If you just read on, you'll see the answer without having thought about it (or not see it at all, if the instructions are to run a program), so you will get to neither (a) test your knowledge, nor (b) improve your intuitions. In other words, these are additional, explicit attempts to encourage active learning. Ultimately, however, I can only encourage it; it's up to you to practice it. The main programming language used in this book is Racket. Like with all operating systems, however, Racket actually supports a host of programming languages, so you must tell Racket which language you're programming in. This textbook has been used in classes at: Brown University, Cal Poly, Columbus State University, Northeastern University, NYU, Reed College, UC-San Diego, UC-Santa Cruz, University of Rhode Island, University of Utah, Westmont College, Williams College, Worcester Polytechnic Institute. |
| 542 1# - INFORMATION RELATING TO COPYRIGHT STATUS |
| Copyright statement |
Attribution-NonCommercial-ShareAlike |
| 546 ## - LANGUAGE NOTE |
| Language note |
In English. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
| Source of description note |
Description based on print resource |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name entry element |
Computer Science |
| Form subdivision |
Textbooks |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
| Corporate name or jurisdiction name as entry element |
Open Textbook Library |
| Relator term |
distributor |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
| Uniform Resource Identifier |
<a href="https://open.umn.edu/opentextbooks/textbooks/35">https://open.umn.edu/opentextbooks/textbooks/35</a> |
| Public note |
Access online version |