3 ms·
I'm surprised that this is only algorithms. I didn't thought that was the main use-case of Ada/SPARK, but rather some kinds of concurrent realtime control appli
by Matthias247 8y ago
I'm surprised that this is only algorithms. I didn't thought that was the main use-case of Ada/SPARK, but rather some kinds of concurrent realtime control applications. I would be interested in seeing examples in that direction.