D enters Tiobe top 20

rikki cattermole rikki at cattermole.co.nz
Sat Nov 9 02:18:41 UTC 2019

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.

More information about the Digitalmars-d mailing list