Ir al contenido

Documat

Resumen de Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa

Pere Botella i López Árbol académico

  • 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.

Fundación Dialnet

Mi Documat