Code Generation, Analysis and Repair