Programming and Software Synthesis