Many of the algorithms would be very laborious to implement and explain in a language like C or C++. Julia has the advantage that the actual code looks very much like the pseudocode you mention. In fact, the guideline implementation for the ACAS X collision avoidance software that my prof developed, that is to become the de-facto issued by the FAA, has been produced in Julia rather than in pseudocode because it actually runs. Real code has no ambiguity. (assuming you avoid undefined behavior).
Julia is a fantastic language. Really hope it catches on.
