TY - RPRT TI - Compiler-assisted static checkpoint insertion AU - Long, Junsheng AU - Fuchs, W. K. AU - Abraham, Jacob A. PY - 1992 UR - https://ntrs.nasa.gov/citations/19930055255 ID - 19930055255 ER -