Tutorial overview
Published in ACM SIGAda Ada Letters • Nov 29, 2012
NobleIDNI1P911W167R404S638
Authors:
Kelvin Nilsen
Abstract
In spite of the high-level abstraction benefits of automatic tracing garbage collection, current prevailing sentiment within the safety certification community is that a simpler memory model is required for the most rigorous levels of software safety certification. Thus, the draft JSR-302 specificat...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!