SE PRESENTA UN NUEVO ENFOQUE DEL USO DE TIPOS DE DATOS EN LA CONSTRUCCION DE PROGRAMAS DE FORMA QUE ESTOS SE CONSTITUYEN EN SOPORTE FORMAL DE LOS ESQUEMAS DE PROGRAMA, ASI SE LLEGA A UNA SINTESIS DE DOS METODOS DE PROGRAMACION: EL USO DE TIPOS ABSTRACTOS Y EL USO DE ESQUEMAS. COMO CONSECUENCIA SE FORMALIZA EL TRATAMIENTO DE FILAS Y ARBOLES MEDIANTE ESQUEMAS Y SE DEFINE UN METODO DE VERIFICACION PARA PROGRAMAS ABSTRACTOS.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados