Specifying an invariant property (range of addresses) in the annotation in source code of the computer program
作者： Carol L. Thompson , Jeff Littfin
DOI:
关键词:
摘要: Method and apparatus for verifying at runtime an invariant property of a data structure. In various example embodiments, code that verifies whether value the structure is consistent with automatically generated in response to annotation source code. executing program, compared If inconsistent property, program branches exception handler
lens.org 参考文章(26)
Dipendra Chowdhary, Dhiwakar Viswanathan, Method of detecting incorrect sequences of code execution ,(2000)
Thomas A. Auxier, Friedric O. Soechting, Turbine airfoil suction aided film cooling means ,(1992)
Randy Scott Humphrey, Jonathan Mark Wagner, Steven Donald Turner, Method and apparatus in a data processing system for faster notification of errors in a software build ,(1999)
James Norman Dahl, Method and apparatus to test address formulation in an advanced computer system ,(1976)
David W. Yen, Bantwal R. Rau, Horizontal computer having register multiconnect for operand address generation during execution of iterations of a loop of program code ,(1989)
Eddy De Greef, Hugo De Man, Francky Catthoor, Method and apparatus for size optimization of storage units ,(1998)
Clinton Goss, Peter Whyte, Richard Rosenberg, Compilers using a universal intermediate language ,(1984)
Ashfaq A. Munshi, Karl M. Schimpf, Compilation using two-colored pebbling register allocation method such that spill code amount is invariant with basic block's textual ordering ,(1985)
Robert Morgan, Building an Optimizing Compiler ,(1998)
Alok Rishi, Jon A. Masamitsu, Method and apparatus for run-time memory access checking and memory leak detection of a multi-threaded program ,(1996)