Peter Van Roy And Seif Haridi. Concepts, Techniques, And Models Of Computer Programming

摘要

I came to CTM, as this book is familiarly known, with a deep appreciation for the innovative contribution Peter Van Roy made towards implementing logic programming systems in the early 1990s. It is good to see him and his collaborators continue to push the frontiers of this tradition, and making that work accessible to the masses through this book. CTM is of similar stock to such rigorous introductory textbooks as the classics by Abelson and Sussman (1996) and Bird and Wadler (1988), and is significantly less formal than any of Dijkstra's classics (1976). In contrast to these texts, the main theme of the book is concurrency from a systems engineering perspective, culminating in discussions of three application domains: graphical user interfaces, distributed programming and constraint programming. The reader is expected to have a reasonable grasp of the basic techniques of sequential programming, and so this book complements most other in-depth programming texts.