ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer | ||
---|---|---|
Prev | Chapter 3. Language-Related Issues | Next |
This Annex is almost completely supported. The only missing language feature is the predefined package Unchecked_Deallocation, which cannot be supported because the run-time system has no means of freeing allocated memory.