|
|
|
|
|
|
by nickpsecurity
3706 days ago
|
|
|
"Rust is a much more complex language, with no formal semantics forthcoming"
"All of this would require new deep research" That's what my Googling showed me. Good call. SPARK, C subsets, and embedded Java still winning in this area. |
|
|