High Assurance Rust with Tiemoko Ballo
Rustacean Station
00:00
Is There a Specification for Lvm?
There's no specification for the rest language itself, yes. But if lvm is able to somehow cn do some of this, cause you're saying that there's no like, reference toprementation for when ll vm outputs the fina bineris at,. say, what i also heard you say earlier, the elvm is the back and forus the rest compiler to do co generation. And i'm not familiar with specification efforts around l v m specifically, but what i mean is that there'sno, currently no Specification for the restlanguage itself,Yes. I think there's extray some advantage to having a centralized implementation. If we are all kind of an agreement
Transcript
Play full episode
