References

ABG94

T.M. Austin, S.E. Breach, and Sohi G.S. ``Efficient detection of all pointer and array access errors''. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, ACM SIGPLAN Notices, Orlando, FL, USA, June 1994. Association for Computing Machinery.

ANS95

ANSI. C++ Programming Languages working paper. American National Standards Institute, 1250 Eye Street NW, Suite 200, Washington DC 20005, 1995. Document number X3J16/95-0087/WG21/N0687.

CGZ94

B Calder, D. Grunwald, and B. Zorn. ``Quantifying behavioral differences between C and C++ programs''. Journal of Programming Languages, 2(4):313-353, December 1994.

Hat94

L. Hatton. Safer C: Developing software for high-integrity and safety-critical systems. McGram-HIll International, Maidenhead, Berkshire, England, 1994.

SoH95

SoHaR. Assessment of software languages for use in nuclear power plant safety systems. SoHaR Incorporated, Beverly Hills, CA 90211, 1995. Report Number J1030-2.