4 ms·
The curious thing is the DoD funded development of a memory safe language in the 80s which they then didn’t use. Ada has memory safety built in.
by le-mark 4y ago
The curious thing is the DoD funded development of a memory safe language in the 80s which they then didn’t use. Ada has memory safety built in.
- jabl 4y agoWasn't safety critical DoD projects (like military avionics projects) required to be implemented in Ada at some point. But at some point that requirement was rescinded and Ada all but died. Seems nowadays Ada is more alive in Europe, many European safety critical projects done with SPARK?