EVENTO

SEMINARIO

Interpretazione Astratta di Sistemi di Polinomi Algebrici

Andrea Foschiano

Corso di "Analisi e Verifica mediante Interpretazione Astratta"

Abstract
Si definisce una gerarchia di semantiche composizionali dei sistemi di polinomi algebrici. Questo generalizza i risultati teorici degli algoritmi di analisi delle grammatiche context free, uniformemente ai framework di algebra universale e interpretazione astratta.