Prototype of Ownership/Borrowing System for D
Timon Gehr
timon.gehr at gmx.ch
Sun Dec 1 16:19:53 UTC 2019
On 01.12.19 17:12, Timon Gehr wrote:
> 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.
Relevant:
http://pm.inf.ethz.ch/publications/getpdf.php?bibname=Own&id=AstrauskasMuellerPoliSummers19b.pdf
More information about the Digitalmars-d
mailing list