3 ms·
To add "verifiable resource correctness/safety" to a language, all the non-trivial coordination algorithms for memory, threads, exceptions, ..., etc., need to b
by Nevermark 2y ago
To add "verifiable resource correctness/safety" to a language, all the non-trivial coordination algorithms for memory, threads, exceptions, ..., etc., need to be reinvented.