C with Safety - Cyclone

Paul Smith writes: "New Scientist is carrying a story about a redesigned version of the programming language C called Cyclone from AT&T labs. "The Cyclone compiler identifies segments of code that could eventually cause such problems using a "type-checking engine". This does not just look for specific strings of code, but analyses the code's purpose and singles out conflicts known to be potentially dangerous.""

Comments

Re:Let it go

[RedGuard]

The recounts showed Gore won in most scenarios.
THe media just didn't report it, no doubt because
to reveal GWB stole the election by the mass
disenfranchisment of black voters would have
rather undercut his claim to be defending
democracy against terrorism.