Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Prak, Yoann"'
Autor:
Ho, Son, Boisseau, Guillaume, Franceschino, Lucas, Prak, Yoann, Fromherz, Aymeric, Protzenko, Jonathan
With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs. Alas, the Rust ecosystem remains relatively young, meaning that every one of these tools has
Externí odkaz:
http://arxiv.org/abs/2410.18042
