How to Design Programs, second edition

How to Design Programs, second edition
Author: Matthias Felleisen
Publisher: MIT Press
Total Pages: 793
Release: 2018-05-25
Genre: Computers
ISBN: 0262344122
GET BOOK

A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming. This introduction to programming places computer science at the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process, presenting program design guidelines that show the reader how to analyze a problem statement, how to formulate concise goals, how to make up examples, how to develop an outline of the solution, how to finish the program, and how to test it. Because learning to design programs is about the study of principles and the acquisition of transferable skills, the text does not use an off-the-shelf industrial language but presents a tailor-made teaching language. For the same reason, it offers DrRacket, a programming environment for novices that supports playful, feedback-oriented learning. The environment grows with readers as they master the material in the book until it supports a full-fledged language for the whole spectrum of programming tasks. This second edition has been completely revised. While the book continues to teach a systematic approach to program design, the second edition introduces different design recipes for interactive programs with graphical interfaces and batch programs. It also enriches its design recipes for functions with numerous new hints. Finally, the teaching languages and their IDE now come with support for images as plain values, testing, event-driven programming, and even distributed programming.

Programming Distributed Computing Systems

Programming Distributed Computing Systems
Author: Carlos A. Varela
Publisher: MIT Press
Total Pages: 291
Release: 2013-05-31
Genre: Computers
ISBN: 0262313367
GET BOOK

An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems. Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation—including the π-calculus, the actor model, the join calculus, and mobile ambients—are explained with a focus on how they help design and reason about distributed and mobile computing systems. The book then presents programming languages that follow the theoretical models already described, including Pict, SALSA, and JoCaml. The parallel structure of the chapters in both part one (theory) and part two (practice) enable the reader not only to compare the different theories but also to see clearly how a programming language supports a theoretical model. The book is unique in bridging the gap between the theory and the practice of programming distributed computing systems. It can be used as a textbook for graduate and advanced undergraduate students in computer science or as a reference for researchers in the area of programming technology for distributed computing. By presenting theory first, the book allows readers to focus on the essential components of concurrency, distribution, and mobility without getting bogged down in syntactic details of specific programming languages. Once the theory is understood, the practical part of implementing a system in an actual programming language becomes much easier.

A Small Matter of Programming

A Small Matter of Programming
Author: Bonnie A. Nardi
Publisher: MIT Press
Total Pages: 196
Release: 1993
Genre: Computers
ISBN: 9780262140539
GET BOOK

Analyzes cognitive, social and technical issues of end user programming. Drawing on empirical research on existing end user systems, this text examines the importance of task-specific programming languages, visual application frameworks and collaborative work practices for end user computing.

Scientific Programming and Computer Architecture

Scientific Programming and Computer Architecture
Author: Divakar Viswanath
Publisher: MIT Press
Total Pages: 625
Release: 2017-07-28
Genre: Computers
ISBN: 0262036290
GET BOOK

A variety of programming models relevant to scientists explained, with an emphasis on how programming constructs map to parts of the computer. What makes computer programs fast or slow? To answer this question, we have to get behind the abstractions of programming languages and look at how a computer really works. This book examines and explains a variety of scientific programming models (programming models relevant to scientists) with an emphasis on how programming constructs map to different parts of the computer's architecture. Two themes emerge: program speed and program modularity. Throughout this book, the premise is to "get under the hood," and the discussion is tied to specific programs. The book digs into linkers, compilers, operating systems, and computer architecture to understand how the different parts of the computer interact with programs. It begins with a review of C/C++ and explanations of how libraries, linkers, and Makefiles work. Programming models covered include Pthreads, OpenMP, MPI, TCP/IP, and CUDA.The emphasis on how computers work leads the reader into computer architecture and occasionally into the operating system kernel. The operating system studied is Linux, the preferred platform for scientific computing. Linux is also open source, which allows users to peer into its inner workings. A brief appendix provides a useful table of machines used to time programs. The book's website (https://github.com/divakarvi/bk-spca) has all the programs described in the book as well as a link to the html text.

The Elements of Computing Systems

The Elements of Computing Systems
Author: Noam Nisan
Publisher:
Total Pages: 343
Release: 2008
Genre: Computers
ISBN: 0262640686
GET BOOK

This title gives students an integrated and rigorous picture of applied computer science, as it comes to play in the construction of a simple yet powerful computer system.

Mathematical Computing

Mathematical Computing
Author: David Betounes
Publisher: Springer Science & Business Media
Total Pages: 419
Release: 2012-12-06
Genre: Computers
ISBN: 1461300673
GET BOOK

This book teaches introductory computer programming using Maple, offering more mathematically oriented exercises and problems than those found in traditional programming courses, while reinforcing and applying concepts and techniques of calculus. Includes case studies.

Programming Models for Parallel Computing

Programming Models for Parallel Computing
Author: Pavan Balaji
Publisher: MIT Press
Total Pages: 488
Release: 2015-11-06
Genre: Computers
ISBN: 0262528819
GET BOOK

An overview of the most prominent contemporary parallel processing programming models, written in a unique tutorial style. With the coming of the parallel computing era, computer scientists have turned their attention to designing programming models that are suited for high-performance parallel computing and supercomputing systems. Programming parallel systems is complicated by the fact that multiple processing units are simultaneously computing and moving data. This book offers an overview of some of the most prominent parallel programming models used in high-performance computing and supercomputing systems today. The chapters describe the programming models in a unique tutorial style rather than using the formal approach taken in the research literature. The aim is to cover a wide range of parallel programming models, enabling the reader to understand what each has to offer. The book begins with a description of the Message Passing Interface (MPI), the most common parallel programming model for distributed memory computing. It goes on to cover one-sided communication models, ranging from low-level runtime libraries (GASNet, OpenSHMEM) to high-level programming models (UPC, GA, Chapel); task-oriented programming models (Charm++, ADLB, Scioto, Swift, CnC) that allow users to describe their computation and data units as tasks so that the runtime system can manage computation and data movement as necessary; and parallel programming models intended for on-node parallelism in the context of multicore architecture or attached accelerators (OpenMP, Cilk Plus, TBB, CUDA, OpenCL). The book will be a valuable resource for graduate students, researchers, and any scientist who works with data sets and large computations. Contributors Timothy Armstrong, Michael G. Burke, Ralph Butler, Bradford L. Chamberlain, Sunita Chandrasekaran, Barbara Chapman, Jeff Daily, James Dinan, Deepak Eachempati, Ian T. Foster, William D. Gropp, Paul Hargrove, Wen-mei Hwu, Nikhil Jain, Laxmikant Kale, David Kirk, Kath Knobe, Ariram Krishnamoorthy, Jeffery A. Kuehn, Alexey Kukanov, Charles E. Leiserson, Jonathan Lifflander, Ewing Lusk, Tim Mattson, Bruce Palmer, Steven C. Pieper, Stephen W. Poole, Arch D. Robison, Frank Schlimbach, Rajeev Thakur, Abhinav Vishnu, Justin M. Wozniak, Michael Wilde, Kathy Yelick, Yili Zheng

Introduction to Computing & Programming in Java

Introduction to Computing & Programming in Java
Author: Mark Guzdial
Publisher: Prentice Hall
Total Pages: 558
Release: 2007
Genre: Computers
ISBN: 9780131496989
GET BOOK

Mark Guzdial and Barb Ericson have a most effective method for teaching computing and Java programming in a context that readers find interesting: manipulating digital media. Readers get started right away by learning how to write programs that create interesting effects with sounds, pictures, web pages, and video. The authors use these multimedia applications to teach critical programming skills and principles like how to design and use algorithms, and practical software engineering methods–all in the context of learning how to program in Java. Mark and Barb also demonstrate how to communicate compatibly through networks and do concurrent programming. The book also includes optional coverage of rudimentary data structures and databases using Java and comes with a CD-ROM containing all the code files referenced in the text and required for media manipulation. Allows readers to use their own media, such as personal sound or picture files. Demonstrates how to manipulate media in useful ways, from reducing red eye and splicing sounds to generating digital video special effects. The book also includes optional coverage of rudimentary data structures and databases using Java and comes with a CD-ROM containing all the code files referenced in the text and required for media manipulation. For beginners interested in learning more about basic multimedia computing and programming.

Explorations in Computing

Explorations in Computing
Author: John S. Conery
Publisher: CRC Press
Total Pages: 435
Release: 2014-09-24
Genre: Computers
ISBN: 1466572450
GET BOOK

An Active Learning Approach to Teaching the Main Ideas in Computing Explorations in Computing: An Introduction to Computer Science and Python Programming teaches computer science students how to use programming skills to explore fundamental concepts and computational approaches to solving problems. Tbook gives beginning students an introduction to

High Performance Computing

High Performance Computing
Author: John Levesque
Publisher: CRC Press
Total Pages: 244
Release: 2010-12-14
Genre: Computers
ISBN: 1420077066
GET BOOK

High Performance Computing: Programming and Applications presents techniques that address new performance issues in the programming of high performance computing (HPC) applications. Omitting tedious details, the book discusses hardware architecture concepts and programming techniques that are the most pertinent to application developers for achievi