deterministic destruction (destruction déterministe)

La destruction déterministe, rencontrée dans certains langages de programmation, consiste à détruire les objets lorsqu'un programme sort de leur étendue.