Re:Pentagon: Trillion-Dollar Jet on Brink of Budgetary Disaster
by gaius on Thursday March 22, 2012 @12:05PM
(#3740363)
Used to be Ada, which for all its flaws was a great DSL for it (type-safe, bounds-checked in the type system, etc). Wasn't popular tho' so now people use C and formally verify it in OCaml.
[ Parent
| on HN ]
Re:Pentagon: Trillion-Dollar Jet on Brink of Budgetary Disaster
by saucetenuto on Thursday March 22, 2012 @12:58PM
(#3740701)
Woah. Is there any available material on how they're doing that/how it's working out?