This chapter describes the related work on abstraction in problem solving. The first section compares the approaches to problem solving using abstraction that are most closely related to the one described in this book. The second section compares the approach implemented in alpine for generating abstractions to other related techniques. The third section describes the related work on properties of abstractions.
KeywordsTate Rosen Ruby
Unable to display preview. Download preview PDF.