Safe manual memory management in Cyclone
From MaRDI portal
Publication:2500689
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
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
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)