Demystifying ESL for embedded systems designs by Shelley Gretlein
While the definitions of ESL may vary, the end result should be the same, namely letting system developers analyze their designs at a higher level of abstraction.
Programming Pointers Bail, return, jump, or . . . throw?
by Dan Saks
The common techniques for handling run-time errors in C leave something to be desired, like maybe exception handling.
Break Points Contracts put the "I do" in code
by Jack G. Ganssle
Languages should include explicit constructs that make it easy to validate the hidden and obvious assumptions that form the background to our code.