D enters Tiobe top 20

[RazvanN]

On Sunday, 10 November 2019 at 20:02:33 UTC, Doc Andrew wrote:
> On Sunday, 10 November 2019 at 10:53:38 UTC, RazvanN wrote:
>>
>> At UPB Bucharest we have discussed with a formal verification 
>> professor and published a research project for a masters 
>> student (2 years) where the goal is to implement a simple 
>> solver for contracts in D.
>
> Very cool! Do you know if there is a link or any publications 
> (even if it's just a proposal) for the research?
>
> -Doc

Unfortunately, I do not know the site where it has been 
published, but the proposal is in Romanian anyway. What I know is 
that the student will have to do a state of the art review in 
verification techniques and come up with a proposal. The 
milestones are:

1. State of the art review
2. Implement one of the existing techniques
3. Come up with an enhancement of some sort.

We don't know yet the exact details, but we are confident that at 
least we can implement something that is already out there.