Prototype of Ownership/Borrowing System for D

aliak something at something.com
Mon Dec 2 08:46:02 UTC 2019


On Sunday, 1 December 2019 at 16:19:53 UTC, Timon Gehr wrote:
> 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

Thanks Timon! Much appreciated.

And there foes christmas...

Cheers,
- Ali


More information about the Digitalmars-d mailing list