3 ms·
Aah 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 as
by seanhunter 3y ago
Aah 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.