Safe manual memory management in Cyclone

DOI10.1016/J.SCICO.2006.02.003MaRDI QIDQ2500689zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 17 August 2006

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2006.02.003

zbMATH Keywords

regionsmemory managementmemory safetyreference countingCyclonereapsunique pointers

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• Region-based memory management
• Monadic regions
• A Hybrid Approach for Safe Memory Management in C
• Typing Safe Deallocation

Cited in

(7)

• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• A Hybrid Approach for Safe Memory Management in C
• scientific article; zbMATH DE number 1955913 (Why is no real title available?)
• A linear/producer/consumer model of classical linear logic
• Type-based security for mobile computing integrity, secrecy and liveness
• Linearity and uniqueness: an entente cordiale
• Syntactic soundness proof of a type-and-capability system with hidden state

Describes a project that uses

Uses Software

• Cyclone

This page was built for publication: Safe manual memory management in Cyclone

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