Watch What I Do: Programming by Demonstration
by Allen Cypher
Publisher: The MIT Press 1993
Number of pages: 652
Programming by Demonstration is a method that allows end users to create, customize, and extend programs by demonstrating what the program should do. The first section of the book describes 18 computer implementations of Programming by Demonstration, and the second discusses the problems and opportunities for this method in more general terms.
Home page url
Download or read it online for free here:
by Peter Van Roy, Seif Haridi - The MIT Press
Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.
by Nils M Holm - Lulu Press
This book introduces the concept of functional programming, describes a language that fulfills all the requirements, and shows how to solve simple problems in it. The book shows how to apply these techniques to some problems of varying complexity.
by Carroll Morgan - Prentice-Hall
Rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement. Additions include more material on data refinement, recursively defined types, and case studies.
by John C. Reynolds - Prentice Hall
Read this book if you need a much deeper understanding of programming: the need to carefully structure a program to avoid being overwhelmed by its complexity, or the need to insure reliability beyond what can he achieved by debugging.