Essays about: "Foreign Function Interface FFI"
Found 1 essay containing the words Foreign Function Interface FFI.
-
1. Does Rust SPARK joy? : Recommendations for safe cross-language bindings between Rust and SPARK
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : This thesis aims to provide recommendations for interfacing two memory-safe programming languages, Rust and SPARK. The comparison of Rust and C/C++, as well as SPARK and C/C++, has been thoroughly researched. However, this level of investigation hasn’t been as extensive between memory-safe languages. READ MORE
Result pages:
1