6 ms·
> weird version of ADA Spark: https://en.wikipedia.org/wiki/SPARK_(programming_language) https://en.wikipedia.org/wiki/SPARK_(programming_language) And it's
by MisterTea 3y ago
> weird version of ADA
Spark: https://en.wikipedia.org/wiki/SPARK_(programming_language) https://en.wikipedia.org/wiki/SPARK_(programming_language)
And it's Ada not ADA which makes me think of the Americans with Disabilities Act.
- seanhunter 3y agoAah thank you on both counts yes. One interesting feature he told me about is they wrote a "reverse compiler" that would take Spark code and turn it into the associated formal (Z) spec so they could compare that to the actual Z spec to prove they were the same. Kind of nifty.
- WalterBright 3y agoSounds like Tranfor which would convert FORTRAN code to flowcharts, because government contracts required flowcharts.