Semantics Applications And Implementation Of Program Generation Second International Workshop Saig 2001 Florence Italy September 6 2001 Proceedings