An Inference Algorithm for Guaranteeing Safe Destruction

DOI10.1007/978-3-642-00515-2_10MaRDI QIDQ3617435zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

memory managementtype inferencetype-based analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Safety analysis versus type inference for partial types
• Typing Safe Deallocation
• A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• A space consumption analysis by abstract interpretation

Cites work

• A type system with usage aspects
• An Inference Algorithm for Guaranteeing Safe Destruction
• Analysis of functional programs to detect run-time garbage cells
• Region-based memory management
• Static prediction of heap space usage for first-order functional programs

Cited in

(3)

• 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

This page was built for publication: An Inference Algorithm for Guaranteeing Safe Destruction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617435)