formal methods in D

Robert Fraser fraserofthenight at gmail.com
Fri Mar 7 09:43:03 PST 2008


BCS wrote:
> Has anyone done formal code proofs of D code. I've got an idea for a 
> project that might need it and am wondering if anyone has any 
> pointers/stories/etc.

I /think/ Andrei mentioned it a few times.


More information about the Digitalmars-d-learn mailing list