Originally published in the November 1988 Embedded Systems Programming magazine. Correction is the final step of any debugging exercise. Sometimes bug eradication is straightforward; sometimes a bug ...

We've seen in the previous articles how Ada can be used to describe high-level semantics and architecture. The beauty of the language, however, is that it can be used all the way down to the lowest ...