Dr. David J. Pearce

Transpiling Whiley to C++

Author(s). Max McMurray.

Venue. Final Year Project (ENGR489) Thesis, Victoria University of Wellington, 2021.

Abstract. Whiley2Cpp is a plugin for the Whiley programming language that is being developed as part of this project. The plugin translates Whiley code into C++ code. Whiley is a programming language that uses an automated theorem prover to statically check programs for correctness. C++ is an efficient and widely used programming language that has limited tools to ensure the safety of the code. Transpiling to C++ is not as straightforward as a word for word translation. This is because of differences in the languages such as the discrepancies between C++ types and Whiley types.

Related Project(s)