2 ms·
So, basically, the only thing that is ever dynamically allocated in SPARK is activation records? Sounds overly restrictive.
by catnaroek 11y ago
So, basically, the only thing that is ever dynamically allocated in SPARK is activation records? Sounds overly restrictive.