EVALUACIÓN DE MÉTODOS DE GENERACIÓN DE INVARIANTES SOBRE ESTRUCTURAS DE DATOS

SIMMONDS W., JOCELYNCAVIERES TORRES, CARLOS DANIELARROYUELO B., DIEGOCAVIERES TORRES, CARLOS DANIEL2024-10-292024-10-292013https://repositorio.usm.cl/handle/123456789/52815Catalogado desde la versión PDF de la tesis.En el presente trabajo se estudian y analizan dos algoritmos de generación de invariantes para estructuras de datos disponibles en la actualidad, sometiéndolos a pruebas y realizando comparaciones basadas en su desempeo y capacidad de detección de invariantes conocidas en estructuras de datos predefinidas, con el fin de evaluar sus principales propiedades, fortalezas y debilidades.CD ROMPapelesESTRUCTURA DE DATOS (CIENCIA DE LA COMPUTACIÓN)EVALUACIÓN DE MÉTODOS DE GENERACIÓN DE INVARIANTES SOBRE ESTRUCTURAS DE DATOSTesis de PregradoB - Solamente disponible para consulta en sala (opción por defecto)3560900214352