Je hebt een klacht over de onderstaande posting:
Ja hoor: een correctheidsbewijs voor elke regel code. 'Ietsje' duurder, maar och. SvUOngeveer 99% van de fouten die tot beveiligingsgaten leiden zijn [url=http://en.wikipedia.org/wiki/Buffer_overrun]buffer overruns met voorspelbare gevolgen. Door over te stappen op talen/platformen die [url=http://en.wikipedia.org/wiki/ Datatype#Type_checking]tijdens run-time strong en safe type-checking ondersteunen kan men deze bugs heel goedkoop voorkomen. Je moet een heel goede programmeur zijn die foutloos in C of een verwante taal kan schrijven en ik ken maar weinig goede programmeurs die lange tijd willen werken in een van deze talen. De meeste goede programmeurs die ik ken schrijven in een hogere taal zoals python, ruby of lisp.
Beschrijf je klacht (Optioneel):