Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
This is an undergraduate thesis to obtain the degree of Licentiate in Computer Science in University of La Plata, Argentina. Since by standing rules of the institution this work must be presented in Spanish, the author would like to cross-refer the reader to a shorter English version of this work [M...
Guardado en:
| Autor principal: | Badenes, Hernán |
|---|---|
| Otros Autores: | Martínez López, Pablo E. |
| Formato: | Tesis Tesis de grado |
| Lenguaje: | Español |
| Publicado: |
2003
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/3893 |
| Aporte de: |
Ejemplares similares
-
Generación de invariantes para implementar eficientemente regiones críticas condicionales
por: Barsotti, Damián, et al.
Publicado: (2007) -
ATR: template-based repair for Alloy specifications
por: Zheng, Guolong, et al.
Publicado: (2022) -
Obteniendo eficiencia y legibilidad en programas generados automáticamente
por: Canal, Esteban de la
Publicado: (2003) -
News from the NEA Data Bank /
Publicado: (1994) -
Comportamiento subjetivo en el paradigma orientado a objetos con aplicaciones
por: Grassano, Andrea Cecilia
Publicado: (2003)