Adding Run-time Checking to the Portable C Compiler.

Joseph L. Steffen

Published in: Softw. Pract. Exp. (1992)

Keyphrases

programming language
general purpose
consistency checking
lightweight
java bytecode
multiscale
software systems