Online Logic Based Program Synthesis And Transformation: 16Th International Symposium, Lopstr 2006, Venice, Italy, July 12 14, 2006, Revised Selected Papers