TY - BOOK AU - Canal,Esteban de la AU - Baum,Gabriel Alfredo AU - Martínez López,Pablo Ernesto TI - Obteniendo eficiencia y legibilidad en programas generados automáticamente PY - 2003/// KW - ALGORITMOS KW - VERIFICACIÓN DE PROGRAMAS KW - PROGRAMACIÓN FUNCIONAL KW - GENERACIÓN DE CÓDIGO KW - PROGRAMACIÓN AUTOMÁTICA N1 - Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003 ER -