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

• Autores: Pere Botella i López
• Directores de la Tesis: Fernando Orejas Valdés (dir. tes.)
• Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 1982
• Idioma: español
• Tribunal Calificador de la Tesis: Manuel Martí Recober (presid.), Ramón Puigjaner Trepat (secret.), Enric Trillas (voc.), Isidro Ramos Salavert (voc.), Martí Vergés Trias (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Teoría de la programación
• Texto completo no disponible (Saber más ...)
• Resumen

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