Identification of vacuous predicates in computer programs

Details Identification of vacuous predicates in computer programs Identification of vacuous predicates in computer programs

G - Physics

06

F

G06F 9/44 (2006.01) G06F 9/45 (2006.01) G06F 17/10 (2006.01)

Patent

CA 2248393

A computer system identifies a predicate in a computer language containing constant expressions as vacuous. The system identifies distinct variables contained in the predicate and represents the predicate by a set of bounding rectangles. The bounding rectangles are represented in a space having a number of dimensions equal to the number of variables. There are finite limits on dimensions of a bounding rectangle which represent the relationship between the variables in the predicate and the constant expressions in the predicate. The predicate is identified as vacuously FALSE where the set of bounding rectangles is empty.

Affiliated with

Also associated with

Rating

Identification of vacuous predicates in computer programs does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Identification of vacuous predicates in computer programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Identification of vacuous predicates in computer programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1883543