The Commons

Back to Results

Patent Title: Compile-time data dependency verification

Assignee: IBM
Patent Number: US6275986
Issue Date: 08-14-2001
Application Number:
File Date:05-20-1999

Abstract: A compiler extension for the compile-time verification of programmer-defined data dependencies. The compiler extension provides for a check statement which takes as an argument a data-verification expression. The data-verification expression has a predetermined value when the programmer-defined data dependency is conformed to in the program. A compile-time error is generated if the data-verification expression does not have the predetermined value on the compilation of the check statement. The successful compilation of the check statement does not result in run-time code or run-time data allocation occurring.


Link to USPTO

IBM Pledge dated 1/11/2005