International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, Grenoble,
France, October 8–11, 2002: 288-297.
256 Fail-Safe C “disallows any unsafe memory operation in full ANSI C standard (including casts and
unions).” For more information, see: “Fail-Safe C Project” web page (Tokyo, Japan: National Institute of