Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic

Mostrar todas las versiones(2)

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017.

Guardado en:
Detalles Bibliográficos
Autor principal: Rearte, Lucas Agustín
Otros Autores: Cherini, Renato, dir.
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2018
Materias:
Teoría de la computación
Theory of Computation
Memoria dinámica
Arboles binarios
Program reasoning
Separation logic
Program verification
Shape analysis
Memory leak
Acceso en línea:http://hdl.handle.net/11086/5838
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-5838
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Teoría de la computación
Theory of Computation
Memoria dinámica
Arboles binarios
Program reasoning
Separation logic
Program verification
Shape analysis
Memory leak
spellingShingle Teoría de la computación
Theory of Computation
Memoria dinámica
Arboles binarios
Program reasoning
Separation logic
Program verification
Shape analysis
Memory leak
Rearte, Lucas Agustín
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
topic_facet Teoría de la computación
Theory of Computation
Memoria dinámica
Arboles binarios
Program reasoning
Separation logic
Program verification
Shape analysis
Memory leak
description Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017.
author2 Cherini, Renato, dir.
author_facet Cherini, Renato, dir.
Rearte, Lucas Agustín
format bachelorThesis
author Rearte, Lucas Agustín
author_sort Rearte, Lucas Agustín
title Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
title_short Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
title_full Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
title_fullStr Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
title_full_unstemmed Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
title_sort analizando la forma de estructuras de datos no lineales en memoria dinámica con separation logic
publishDate 2018
url http://hdl.handle.net/11086/5838
work_keys_str_mv AT reartelucasagustin analizandolaformadeestructurasdedatosnolinealesenmemoriadinamicaconseparationlogic
bdutipo_str Repositorios
_version_ 1764820396413026305

Ejemplares similares