Safe manual memory management in Cyclone

DOI10.1016/J.SCICO.2006.02.003zbMATH Open1103.68031OpenAlexW2013766080MaRDI QIDQ2500689FDOQ2500689

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

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

zbMATH Keywords

regionsmemory managementmemory safetyreference countingCyclonereapsunique pointers

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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
• Title not available (Why is that?)
• 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

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)