Zen Style Programming
by Nils M Holm
Publisher: Lulu Press 2008
Number of pages: 336
The first part of 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 second part of the book shows how to apply the techniques of the first part to some problems of varying complexity. The third part, finally, shows how to implement the abstraction layer that is necessary for solving problems in an abstract way on a concrete computer.
Download or read it online for free here:
by Stephen Muggleton, Luc de Raedt - ScienceDirect
Inductive Logic Programming is a new discipline which investigates the inductive construction of first-order clausal theories from examples and background knowledge. The authors survey the most important theories and methods of this new field.
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.
This book aims to be a comprehensive source for any developer who is interested in programming for the Windows platform. The reader is assumed to have a previous knowledge of the programming languages involved: C, C++, and Visual Basic.
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.