( handler | 2014. 03. 21., p – 17:24 )

Van amit csak igy lehet fejleszteni. Pl.: formalisan bizonyitott C fordito (CompCert):
http://www.cgo.org/cgo2011/Xavier_Leroy.pdf

Kivancsian varom, hasonlo garanciakat hogyan tudsz biztositani mas modon...