D enters Tiobe top 20
razvan.nitu1305 at gmail.com
Sun Nov 10 10:53:38 UTC 2019
On Saturday, 9 November 2019 at 02:18:41 UTC, rikki cattermole
> On 09/11/2019 11:41 AM, Walter Bright wrote:
>> I've thought for 35 years that assert()s can be the input to a
>> program prover, i.e. it's nothing new, but I do not have the
>> expertise to figure out such proofs might work, other than
>> simplistic cases.
> Sounds like some universities need to be contacted, perhaps a
> future PHD student would be interested in doing the theory.
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.
More information about the Digitalmars-d