Funcionales recursivos como especificaciones formales

• Autores: Juan L. Freniche Ibánez
• Localización: Revista de informática y automática, ISSN 0210-8712, Año 17, Nº. 62, 1984, págs. 25-31
• Idioma: español
• Títulos paralelos:
  • Recursive functionals as formal specifications
• Texto completo no disponible (Saber más ...)
• Resumen
  • español

    Synthetizing notions of the theories of formal schemes of algorithms, computability and data algebras, we stablish the formalizations of programs like recursive functionals on a set of basic operations to obtain their general representations by means of recursion schemes. This results can be applied to the construction of automatic systems for writing computer programs for their functional specification and to the study of subclasses of functionales to optimize such systems.

  • español

    Sintetizando nociones de las teorías de los esquemas formales de algoritmos, computabilidad y álgebras de datos, se establece la formalización de programas como funcionales recursivos sobre un conjunto de operaciones básicas, a fin de obtener sus represenciones generales como esquemas de recursión. Estos resultados pueden aplicarse a la construcción de sistemas automáticos de escritura de programas de computador a partir de su especificación funcional, y al estudio de subclases de funcionales con vistas a optimizar tales sistemas