The Reo compiler is able to translate a textual protocol specification into source code in several target languages. Currently, low-level systems languages such as Rust are not supported. In addition to easy inter-operation with C and C++, Rust's strict type system allow for highly expressive APIs that give stronger safety …
read moreOther presentations
Page 1 / 1