6 ms·
SolScript looks fantastic. Considering Avionics domain, using Coq or ATS to prove the correctness of SolScript compiler will help boost confidence.
by shailesh 12y ago
SolScript looks fantastic.
Considering Avionics domain, using Coq or ATS to prove the correctness of SolScript compiler will help boost confidence.