An Inference Algorithm for Guaranteeing Safe Destruction
From MaRDI portal
Publication:3617435
DOI10.1007/978-3-642-00515-2_10zbMath1185.68200MaRDI QIDQ3617435
Manuel Montenegro, Clara Segura, Ricardo Peña
Publication date: 24 March 2009
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00515-2_10
68N18: Functional programming and lambda calculus
Related Items
A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation, Formal Certification of a Resource-Aware Language Implementation, An Inference Algorithm for Guaranteeing Safe Destruction
Cites Work