Algorithm Synthesis Through Problem Reformulation . PhD thesis, Computer Science Department, Stanford University, 1989. Enumerative algorithms form the fundamental programming model used in computer science. Algorithm Synthesis Through Problem Reformulation . PhD thesis, Computer Science Department, Stanford University, 1989.
Enumerative algorithms form the fundamental programming model used in computer science.
Algorithm synthesis through problem reformulation . T 1 if the models of T 2 are a subset of the models of T 1 . So enrichment is implementation. The inverse of implementation is abstraction. A more restrictive model of data type development is of abstraction followed by implementation.