Banca de DEFESA: Andrés Felipe González Barragan

Uma banca de DEFESA de DOUTORADO foi cadastrada pelo programa.
DISCENTE : Andrés Felipe González Barragan
DATA : 02/10/2025
HORA: 08:00
LOCAL: PPGMAT
TÍTULO:

Anti-unification in Absorptive Theories

PALAVRAS-CHAVES:

Anti-unificação, Generalização, Teoria Equacional, Dedução

Equacional, Teoria Absortiva.

PÁGINAS: 100
RESUMO:

O interesse em antiunificação, problema dual da unificação, está
aumentando devido a diversas novas aplicações. Por exemplo, técnicas baseadas em
antiunificação têm sido recentemente empregadas em análise de software e áreas relacionadas,
como detecção de clones e reparo automático de programas. Embora formas sintáticas de
antiunificação tenham encontrado muitos usos interessantes, alguns aspectos das aplicações
modernas são modelados de forma mais apropriada pelo raciocínio módulo uma teoria
equacional. Assim, estender os métodos de antiunificação existentes para lidar com teorias
equacionais importantes é um avanço natural. Este trabalho considera antiunificação módulo
teorias absortivas puras, ou seja, onde alguns símbolos de função são associados a uma constante
especial que satisfaz o axioma f(x, e) = f(e, x) = e. Fornecemos um algoritmo baseado em regras
para antiunificação em tais teorias, provamos sua correção e estudamos sua completude. Além
disso, provamos que o tipo do problema de antiunificação módulo teorias absortivas é infinitário e
estudamos a combinação de teorias absortivas com operadores comutativos.

 

MEMBROS DA BANCA:
Presidente - 2180096 - MAURICIO AYALA RINCON
Interna - 1151467 - DANIELE NANTES SOBRINHO
Externo à Instituição - SANTIAGO ESCOBAR ROMAN - UPV
Externa à Instituição - THAYNARA ARIELLY DE LIMA - IFG