Prototype of Ownership/Borrowing System for D

[Timon Gehr]

On 01.12.19 17:04, Timon Gehr wrote:
> 
>> If you have any links handy that can explain these concepts also 
>> that'd be super appreciated.
>> ...
> 
> https://softwarefoundations.cis.upenn.edu/

Of course there's also approaches based on program logics/contracts, e.g.:
https://ethz.ch/content/dam/ethz/special-interest/infk/chair-program-method/pm/documents/Education/Courses/SS2017/Program%20Verification/08-Boogie.pdf
https://www.pm.inf.ethz.ch/research/viper.html

In such languages, assertion failures are compile-time errors.