Síntesis deductiva de programas

Interpretación abstracta

Teoría de aproximación semántica que permite analizar estáticamente las propiedades de los programas calculando sobre dominios abstractos en lugar de concretos.

← Volver