www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.learn - formal methods in D

reply BCS <ao pathlink.com> writes:
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.
Mar 06 2008
parent Robert Fraser <fraserofthenight gmail.com> writes:
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.
Mar 07 2008