Deductive program synthesis

Abstract interpretation

Semantic approximation theory enabling static analysis of program properties by computing on abstract rather than concrete domains.

← Indietro