Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Written by a chemical engineer rather than by a computer scientist, this book fills the gap between texts which teach computer languages or programming methods and chemical engineering texts which omit details of writing programs. In order to write a computer program and get it …
Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.
This book formulates and explores a potentially productive new subarea of computer science that combines elements of programming languages and environments, logic, and inductive inference. It devises a theoretical framework for program debugging and develops techniques that will…
If you use UNIX, you probably use csh to type commands, even if you've never heard it. It's the standard shell (command line) on most UNIX systems. tcsh is an enhanced version of csh that's freely available and highly recommended. Using csh & tcsh describes how to use these shel…
OPEN (Object-oriented Process, Environment, and Notation) is an international de facto standard object-oriented development method developed and maintained by the OPEN Consortium. OPEN consists of the OPEN Modeling Language (OML) as well as process, metrics, etc. This book speci…
Tried and True Object Development presents several practical approaches to the construction of software systems based on the principles of object orientation and component-based development. All of the practices in this book are used within Nokia, one of the most successful tele…