How to Design Programs

Author: Matthias Felleisen
Publisher: MIT Press
ISBN: 9780262344128
Release Date: 2018-05-18
Genre: Computers

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.

How to Design Programs

Author: Matthias Felleisen
Publisher: MIT Press
ISBN: 0262062186
Release Date: 2001
Genre: Computers

This introduction to programming places computer science in the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process. This approach fosters a variety of skills -- critical reading, analytical thinking, creative synthesis, and attention to detail -- that are important for everyone, not just future computer programmers.The book exposes readers to two fundamentally new ideas. First, it presents 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, based on the analysis; how to finish the program; and how to test. Each step produces a well-defined intermediate product. Second, the book comes with a novel programming environment, the first one explicitly designed for beginners. The environment grows with the readers as they master the material in the book until it supports a full-fledged language for the whole spectrum of programming tasks.All the book's support materials are available for free on the Web. The Web site includes the environment, teacher guides, exercises for all levels, solutions, and additional projects.

Author:
Publisher:
ISBN: 9780262534802
Release Date:
Genre:


Realm of Racket

Author: Matthias Felleisen
Publisher: No Starch Press
ISBN: 9781593274924
Release Date: 2013-06-13
Genre: Computers

Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challenging learning curve. But while Racket retains the functional goodness of Lisp, it was designed with beginning programmers in mind. Realm of Racket is your introduction to the Racket language. In Realm of Racket, you'll learn to program by creating increasingly complex games. Your journey begins with the Guess My Number game and coverage of some basic Racket etiquette. Next you'll dig into syntax and semantics, lists, structures, and conditionals, and learn to work with recursion and the GUI as you build the Robot Snake game. After that it's on to lambda and mutant structs (and an Orc Battle), and fancy loops and the Dice of Doom. Finally, you'll explore laziness, AI, distributed games, and the Hungry Henry game. As you progress through the games, chapter checkpoints and challenges help reinforce what you've learned. Offbeat comics keep things fun along the way. As you travel through the Racket realm, you'll: –Master the quirks of Racket's syntax and semantics –Learn to write concise and elegant functional programs –Create a graphical user interface using the 2htdp/image library –Create a server to handle true multiplayer games Realm of Racket is a lighthearted guide to some serious programming. Read it to see why Racketeers have so much fun!

Semantics Engineering with PLT Redex

Author: Matthias Felleisen
Publisher: MIT Press
ISBN: 9780262258173
Release Date: 2009-07-10
Genre: Computers

This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http://www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book.

Designing Computer Programs

Author: Jim Haigh
Publisher: Elsevier
ISBN: 9780080504032
Release Date: 1994-10-06
Genre: Computers

This is a book for students at every level who are learning to program for the first time - and for the considerable number who learned how to program but were never taught to structure their programs. The author presents a simple set of guidelines that show the programmer how to design in a manageable structure from the outset. The method is suitable for most languages, and is based on the widely used 'JSP' method, to which the student may easily progress if it is needed at a later stage. Most language specific texts contain very little if any information on design, whilst books on design approach the topic at too high a level for someone learning their first language. This inexpensive introduction to design can be used alongside whatever programming book suits the student's particular needs.

Picturing Programs

Author: Stephen Bloch
Publisher: College Publications
ISBN: 1848900155
Release Date: 2010
Genre: Computers

A first programming course should not be directed towards learning a particular programming language, but rather at learning to program well; the programming language should get out of the way and serve this goal. The simple, powerful Racket language (related to Scheme) allows us to concentrate on the fundamental concepts and techniques of computer programming, without being distracted by complex syntax. As a result, this book can be used at the high school (and perhaps middle school) level, while providing enough advanced concepts not usually found in a first course to challenge a college student. Those who have already done some programming (e.g. in Java, Python, or C++) will enhance their understanding of the fundamentals, un-learn some bad habits, and change the way they think about programming. We take a graphics-early approach: you'll start manipulating and combining graphic images from Chapter 1 and writing event-driven GUI programs from Chapter 6, even before seeing arithmetic. We continue using graphics, GUI and game programming throughout to motivate fundamental concepts. At the same time, we emphasize data types, testing, and a concrete, step-by-step process of problem-solving. After working through this book, you'll be prepared to learn other programming languages and program well in them. Or, if this is the last programming course you ever take, you'll understand many of the issues that affect the programs you use every day. I have been using Picturing Programs with my daughter, and there's no doubt that it's gentler than Htdp. It does exactly what Stephen claims, which is to move gradually from copy-and-change exercises to think-on-your-own exercises within each section. I also think it's nice that the "worked exercises" are clearly labeled as such. There's something psychologically appealing about the fact that you first see an example in the text of the book, and then a similar example is presented as if it were an exercise but they just happen to be giving away the answer. It is practically shouting out "Here's a model of how you go about solving this class of problems, pay close attention ."" Mark Engelberg "1. Matthias & team have done exceptional, highly impressive work with HtDP. The concepts are close to genius. (perhaps yes, genius quality work) They are a MUST for any high school offering serious introductory CS curriculum. 2. Without Dr. Blochs book "Picturing Programs," I would not have successfully implemented these concepts (Dr. Scheme, Racket, Design Recipe etc) into an ordinary High School Classroom. Any high school instructor who struggles to find ways to bring these great HtDP ideas to the typical high schooler, should immediately investigate the Bloch book. Think of it as coating the castor oil with chocolate." Brett Penza

The Little Prover

Author: Daniel P. Friedman
Publisher: MIT Press
ISBN: 9780262330572
Release Date: 2015-07-10
Genre: Computers

The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.

Practical Programming

Author: Paul Gries
Publisher: Pragmatic Bookshelf
ISBN: 9781680504125
Release Date: 2017-12-06
Genre: Computers

Classroom-tested by tens of thousands of students, this new edition of the bestselling intro to programming book is for anyone who wants to understand computer science. Learn about design, algorithms, testing, and debugging. Discover the fundamentals of programming with Python 3.6--a language that's used in millions of devices. Write programs to solve real-world problems, and come away with everything you need to produce quality code. This edition has been updated to use the new language features in Python 3.6.

Bottom line Training

Author: Donald J. Ford
Publisher: Gulf Professional Publishing
ISBN: 0884152111
Release Date: 1999
Genre: Business & Economics

'Bottom-Line Training' gives you the crucial information you'll need to produce bottom-line results with your training and development program. This book provides you with the tools to train employees thoroughly and effectively so they can significantly contribute to your company's success. Today, training and development programs must prove their worth and 'Bottom-Line Training' guides you step by step through the design and implementation process. It clearly shows you how to: * analyze the true needs of your clients * design training programs that are tailored for your company's needs * develop the program, determining the best style of training for your audience * implement the program, using the most appropriate delivery techniques * evaluate the results for both the trainees and the business 'Bottom-Line Training' will help you boost your company's own bottom line with successful training and development programs that will increase your organization's performance, along with its financial and strategic goals.

Before After

Author: John McWade
Publisher: Peachpit Press
ISBN: 0132705125
Release Date: 2009-11-11
Genre: Computers

Before and After magazine's focus on clarity, simplicity, and elegance has won it legions of fans--fans who will welcome this second volume of the definitive Before and After Page Design by John McWade. Truly an icon of the graphic design community, his insistence on approaching design not as mere decoration but as an essential form of communication is vividly apparent in this cohesive primer on page design and layout. And you could not hope for a better, more qualified teacher. McWade shows readers how to arrange and present information using today's powerful graphics tools. Readers will learn how to design single-page and multi-page documents, brochures, and ads; why one typeface works better than another; and much more. Best of all, they'll discover how to think visually transforming the images in their heads into something that communicates effectively on the page.

Compensation for Teams

Author: Steven E. Gross
Publisher: AMACOM/American Management Association
ISBN: 0814402992
Release Date: 1995-01
Genre: Business & Economics

By following the proven 13-step process detailed in this book, you'll learn how to create different pay strategies for the three main team types in use today: parallel teams, process teams, and project- or time-based teams; determine base pay for team members; align the key components of additional compensation for teams: increases in base pay (merit raises), recognition awards (both cash and noncash), and incentive compensation; win "buy-in" by allaying members' fears and helping them accept risk; identify the 21 competencies vital to team success and develop a competency model specific to your organization's needs and culture; adapt existing appraisal systems to measure team performance; and combine these elements into a "compensation architecture" that is flexible, yet solid and enduring

A Little Java a Few Patterns

Author: Matthias Felleisen
Publisher: MIT Press
ISBN: 0262561158
Release Date: 1998
Genre: Computers

foreword by Ralph E. Johnson and drawings by Duane Bibby 'This is a book of 'why' not 'how.' If you are interested in the nature of computation and curious about the very idea behind object orientation, this book is for you. This book will engage your brain (if not your tummy). Through its sparkling interactive style, you will learn about three essential OO concepts: interfaces, visitors, and factories. A refreshing change from the 'yet another Java book' phenomenon. Every serious Java programmer should own a copy.' -- Gary McGraw, Ph.D., Research Scientist at Reliable Software Technologies and coauthor of Java Security Java is a new object-oriented programming language that was developed by Sun Microsystems for programming the Internet and intelligent appliances. In a very short time it has become one of the most widely used programming languages for education as well as commercial applications. Design patterns, which have moved object-oriented programming to a new level, provide programmers with a language to communicate with others about their designs. As a result, programs become more readable, more reusable, and more easily extensible. In this book, Matthias Felleisen and Daniel Friedman use a small subset of Java to introduce pattern-directed program design. With their usual clarity and flair, they gently guide readers through the fundamentals of object-oriented programming and pattern-based design. Readers new to programming, as well as those with some background, will enjoy their learning experience as they work their way through Felleisen and Friedman's dialogue. src='/graphics/yellowball.gif' href='/books/FELTP/Java-fm.html'Foreword and Preface

Taligent s Guide to Designing Programs

Author:
Publisher: Addison-Wesley Longman
ISBN: UOM:39015032295530
Release Date: 1994-01
Genre: Computers

A quick overview of Object-oriented program design, with special regard for operating-system development, this book will be of the greatest interest to those developers who are working with Taligent and its operating partners, as well as many other C++ programmers who are interested in a provocative summary of good OOP techniques.