program synthesis 0 síntesis de programa, generación - Empleo de herramientas software para ayudar en la transformación de unas especificaciónes de programa a un programa que realice esas especificaciones. 1997-03-27