Charla con Diego G.

Hoy me reuní con mi director para discutir aspectos de la tesis. Los dos coincidimos en que el punto central de la misma es realizar una buena técnica de análisis interprocedural que primordialmente esté formalizada.

La escalabilidad es un tema a tener en cuenta, pero no es el objetivo número uno, especialmente teniendo en cuenta que se trata del primer acercamiento al tema.

También discutimos brevemente sobre la representación del heap y otras cuestiones como aplicaciones posibles del trabajo o de que manera trabajar con contratos hechos por otras personas, etc.

Mañana trabajaremos juntos intentando hacer andar la tesis de Diego P., tarea que me está resultando un tanto más compleja de lo que esperaba. Diego G. dice que en "negritus" (una de las máquinas de la oficina) hay una versión funcionando, veremos...