Técnicas formales de transformación de programas /

Técnicas formales de transformación de programas /

El tema más importante que debe destacarse como base del presente trabajo es sin duda las técnicas de transformación de programas. Las técnicas que se presentan en el trabajo se separan en dos tipos: pasaje de Recursión Múltiple a anidada. Pasaje de Recursión Anidada a Recursión Final. Estos dos co...

Full description

Bibliographic Details
Main Author: Domínguez, Martín Ariel, 1975-
Format: Thesis Book
Language:Spanish
Published: [S.l. : s.n.], 2000.
Subjects:
Programming techniques.
Técnicas de programación.

MARC

LEADER 00000nam a2200000 4500
003 AR_CdUFM
005 20180529120630.0
008 110726s2000 ag_||||| |||| 00| 0 spa d
040 |c AR_CdUFM  |a AR_CdUFM 
100 1 |a Domínguez, Martín Ariel,  |d 1975-  |9 4331 
245 1 0 |a Técnicas formales de transformación de programas /   |c Martín Ariel Domínguez. 
260 |a [S.l. :   |b s.n.],   |c 2000. 
300 |a 75 h. :   |b il. ;   |c 30 cm.  
500 |a   
502 |a Tesis (Lic. en Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2000. 
504 |a Incluye referencias bibliográficas. 
505 2 |a Sintaxis -- Semántica operacional -- Expresiones cuantificadas -- Definiciones recursivas -- transformaciones a un lenguaje imperativo -- Estrategias -- Recursión general. 
520 |a El tema más importante que debe destacarse como base del presente trabajo es sin duda las técnicas de transformación de programas. Las técnicas que se presentan en el trabajo se separan en dos tipos: pasaje de Recursión Múltiple a anidada. Pasaje de Recursión Anidada a Recursión Final. Estos dos conjuntos de técnicas pueden utilizarse por separado según corresponda el caso, o combinándolos, obtenemos un grupo de herramientas que nos permiten encontrar a partir de definiciones recursivas múltiples, definiciones recursivas finales y por lo tanto el programa imperativo asociado. Como conclusión a nuestro trabajo, podemos decir que las técnicas presentadas dan solución a una gran cantidad de funciones pero debe hacerse un análisis cuidadoso de los operadores que definen a la función para determinar cuál es la técnica adecuada a aplicar acorde a nuestro problema particular. 
590 |a La biblioteca posee 1 ej. 
650 4 |a Programming techniques. 
653 |a Técnicas de programación. 
942 |c TRAB. ESP.  |2 ddc 
945 |a MBO  |d 2000-09-26 
945 |a MBO  |d 2011-08-23 
952 |0 0  |1 0  |2 ddc  |4 0  |6 TRABAJO_ESPECIAL_COMPUTACIÓN_CAJA_2_000000000000000__14984  |7 0  |9 17463  |a MMA  |b MMA  |c 94  |d 2000-09-26  |e Donación del autor  |o Trabajo Especial Computación CAJA 2 - 14984  |p 14984  |r 2017-07-21  |t 1  |w 2011-07-26  |x TE C DOM  |y TRAB. ESP. 
999 |c 13375  |d 13375 

Similar Items