and ASAP https://www.semanticscholar.org/paper/ASAP%3A-As-Static-As-P...
Seem like a good way forward wrt memory management and concurrency, using ASAP inside a component, and delegating concurrency and component cleanup to Composita.
Other languages like Maude http://maude.cs.illinois.edu/w/index.php/The_Maude_System
Are pushing in new directions wrt proof checking.
and ASAP https://www.semanticscholar.org/paper/ASAP%3A-As-Static-As-P...
Seem like a good way forward wrt memory management and concurrency, using ASAP inside a component, and delegating concurrency and component cleanup to Composita.
Other languages like Maude http://maude.cs.illinois.edu/w/index.php/The_Maude_System
Are pushing in new directions wrt proof checking.