A Formal Semantics for Finalizers

Marcus Amorim Leal, Roberto Ierusalimschy. A Formal Semantics for Finalizers. J. UCS, 11(7):1198-1214, 2005. [doi]

Abstract

Abstract is missing.