Synthèse de programmes déductive

Interprétation abstraite

Théorie de l'approximation sémantique permettant d'analyser statiquement les propriétés des programmes en calculant sur des domaines abstraits plutôt que concrets.

← 返回