Synthèse de programmes probabiliste

Distribution de probabilité sur programmes

Fonction mathématique assignant des probabilités à différents programmes ou structures algorithmiques, servant de base à l'échantillonnage et à l'optimisation guidée.

← Retour