This book presents a comprehensive treatment of the process of constructing computer programs through stepwise resolutions of relational equations. Unlike other books that take a logic-based approach to the topic, the authors derive constructive solutions to these equations by means of programming heuristics, three classes of which are presented in detail; sequence heuristics, iteration heuristics, and generalization heuristics. The authors are the leaders in this field and their experience is wonderfully showcased in this definitive introduction to the subject.
- ISBN10 0195092368
- ISBN13 9780195092363
- Publish Date 23 June 1994
- Publish Status Unknown
- Out of Print 3 September 2009
- Publish Country US
- Imprint Oxford University Press Inc
- Format Hardcover
- Pages 398
- Language English