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: