12/14/00 added lectures 25 and 26 added handout E11 for exercises 11 added links to two Paige papers and notes by Paige under readings added classification under readings added handout S10 for solution 10 12/06/00 added lectures 23 and 24 added handout E10 for exercises 10 added link to old APTS under systems added handout S9 for solution 9 12/04/00 added lectures 21 and 22 added a reference for finite differening under readings added link to new APTS under systems 11/27/00 added lectures 19 and 20 added handout E9 for exercises 9 added link to the SETL2 language under readings added links to the Synthesizer Generator and SET2 under systems added handout S8 for solution 8 11/16/00 added lectures 17 and 18 added handout E8 for exercises 8 added link to slides for optimizing aggregate array computations added handout S7 for solution 7 11/14/00 added lectures 15 and 16 added link to slides for principled strength reduction under readings 11/02/00 added lectures 13 and 14 added handout E7 for exercises 7 added link to slides for recursion to iteration under readings 10/26/00 added lectures 11 and 12 added handout E6 for exercises 6 added link to slides for dynamic programming under readings 10/18/00 added lectures 9 and 10 added handout E5 for exercises 5 added link to an introduction to incrementalization under readings added handout S4 for solution 4 10/06/00 added lectures 7 and 8 added link to an introduction to partial evaluation under readings added links to two partial evaluators under systems added handout E4 for exercises 4 09/27/00 added lectures 5 and 6 added handout E3 for exercises 3 09/15/00 added lectures 3 and 4 added handout E2 for exercises 2 09/08/00 added lectures 1 and 2 added notes for lectures 1 and 2 added handout E1 for exercises 1 09/07/00 changed meeting time to Wednesday 12-2:30PM 09/06/00 added handout Q for questionnaire 08/30/00 homepage created with general information and course outline