Resource management for safe languages

DOI10.1007/3-540-36208-8_1MaRDI QIDQ4417612zbMATH OpenFDO

Authors Jan Vitek, Grzegorz Czajkowski

Publication date 29 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2548/25480001.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Safety Guarantees from Explicit Resource Management
• Language extensions for programmable security
• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• Language-based security: what's needed and why
• Safe manual memory management in Cyclone

This page was built for publication: Resource management for safe languages

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