Published Dec. 15, 2015 12:17 PM
In this thesis, we look at advanced language features in upcoming programming languages such as Go or Rust, and investigate how to best combine new features with requirements on correct software development (static analysis, verification, monitoring).