Concrete Abstractions: An Introduction to Computer Science Using Scheme

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

The book features thorough integration of theory and practice, and presents theory as an essential component of practice, rather than in contrast to it. Thus, students are introduced to the analytic tools they need to write effective and efficient programs, in the context of practical and concrete applications. Significant programming projects are included that actively involve students in applying concepts. Each chapter ends with an application section, in which the concepts from that chapter are applied to a significant, interesting problem that involves both program design and modifying existing code. The authors present development of object-oriented programming, one concept at a time. Each of the component concepts that constitute object-oriented programming (OOP) is introduced independently; they are then incrementally blended together. In keeping with modern curricular recommendations, this book presents multiple programming paradigms: functional programming, assembly-language programming, and object-oriented programming--enabling the student to transition easily from Scheme to other programming languages. The final chapter provides a transition from Scheme to Java. Providing this transition within a single book allows Java to be explained by comparison with Scheme, including showing an example program in both languages. Java also supports exploration of event-driven graphical user interfaces and concurrency.

Author(s): Max Hailperin, Barbara Kaiser, Karl Knight
Edition: 1
Publisher: Course Technology
Year: 1998

Language: English
Commentary: Front Cover, OCR, pagination, bookmarks
Pages: 670
Tags: Databases & Big Data;Access;Data Mining;Data Modeling & Design;Data Processing;Data Warehousing;MySQL;Oracle;Other Databases;Relational Databases;SQL;Computers & Technology;Data Structures;Algorithms;Programming;Computers & Technology;Programming Languages;Ada;Ajax;Assembly Language Programming;Borland Delphi;C & C++;C#;CSS;Compiler Design;Compilers;DHTML;Debugging;Delphi;Fortran;Java;Lisp;Perl;Prolog;Python;RPG;Ruby;Swift;Visual Basic;XHTML;XML;XSL;Computers & Technology;Mathematics;Applied;Geo

Out of print but available for free on the web : https://gustavus.edu/mcs/max/concrete-abstractions-pdfs/index.html

https://gustavus.edu/mcs/max/concrete-abstractions.html

Part I: Procedural Abstraction 1
1 Computer Science and Programming 3
1.1 What's It All About? 3
1.2 Programming in Scheme 5
Sidebar: Responsible Computer Use 5
1.3 An Application: Quilting 15
2 Recursion and Induction 22
2.1 Recursion 22
Sidebar: Exponents 28
2.2 Induction 28
2.3 Further Examples 34
2.4 An Application: Custom-Sized Quilts 40
3 Iteration and invariants 48
3.1 Iteration 48
3.2 Using Invariants 54
3.3 Perfect Numbers, Internal Definitions, and Let 58
3.4 Iterative Improvement: Approximating the Golden Ratio 61
3.5 An Application: The Josephus Problem 65
4 Orders of Growth and Tree Recursion 75
4.1 Orders of Growth 75
Sidebar: Logarithms 82
4.2 Tree Recursion and Digital Signatures 83
Sidebar: Modular Arithmetic 87
4.3 An Application: Fractal Curves 95
5 Higher-Order Procedures 109
5.1 Procedural Parameters 109
5.2 Uncomputability 113
Sidebar: Alan Turing 116
5.3 Procedures That Make Procedures 118
5.4 An Application: Verifying ID Numbers 120
Part II: Data Abstraction 131
6 Compound Data and Data Abstraction 133
6.1 Introduction 133
6.2 Nim 135
6.3 Representations and Implementations 143
6.4 Three-Pile Nim 153
6.5 An Application: Adding Strategies to Nim 156
Sidebar: Type Checking 157
7 Lists 167
7.1 The Definition of a List 167
7.2 Constructing Lists 169
7.3 Basic List Processing Techniques 172
7.4 List Processing and Iteration 179
7.5 Tree Recursion and Lists 182
7.6 An Application: A Movie Query System 187
Sidebar: Is There More to Intelligence Than the Appearance of Intelligence? 202
8 Trees 212
8.1 Binary Search Trees 212
8.2 Efficiency Issues with Binary Search Trees 220
Sidebar: Privacy Issues 225
8.3 Expression Trees 226
8.4 An Application: Automated Phone Books 229
9 Generic Operations 243
9.1 Introduction 243
9.2 Multiple Representations 244
9.3 Exploiting Commonality 253
9.4 An Application: Computer Graphics 262
10 Implementing Programming Languages 278
10.1 Introduction 278
10.2 Syntax 279
Sidebar: The Expressiveness of EBNF 285
10.3 Micro-Scheme 289
10.4 Global Definitions: Mini-Scheme 303
10.5 An Application: Adding Explanatory Output 311
Part III: Abstractions of State 331
11 Computers with Memory 333
11.1 Introduction 333
11.2 An Example Computer Architecture 333
11.3 Programming the SLIM 340
Sidebar: What Can Be Stored in a Location? 342
11.4 Iteration in Assembly Language 349
11.5 Recursion in Assembly Language 357
11.6 Memory in Scheme: Vectors 361
11.7 An Application: A Simulator for SLIM 367
12 Dynamic Programming 379
12.1 Introduction 379
12.2 Revisiting Tree Recursion 380
12.3 Memoization 388
12.4 Dynamic Programming 398
12.5 Comparing Memoization and Dynamic Programming 406
12.6 An Application: Formatting Paragraphs 406
13 Object-Based Abstractions 420
13.1 Introduction 420
13.2 Arithmetic Expressions Revisited 421
13.3 RA-Stack Implementations and Representation Invariants 432
Sidebar: Strings and Characters 433
13.4 Queues 446
13.5 Binary Search Trees Revisited 453
13.6 An Application: Dictionaries 472
14 Object-Oriented Programming 486
14.1 Introduction 486
14.2 An Object-Oriented Program 487
14.3 Extensions and Variations 511
14.4 Implementing an Object-Oriented Programming System 517
14.5 An Application: Adventures in the Land of Gack 543
15 Java, Applets, and Concurrency 577
15.1 Introduction 577
15.2 Java 578
15.3 Event-Driven Graphical User Interfaces in Applets 599
15.4 Concurrency 616
Sidebar: Nested Calls to Synchronized Methods and Deadlock 625
15.5 An Application: Simulating Compound Interest 632
Appendix: Nonstandard Extensions to Scheme 645
Bibliography 649
Index 653