Identification of vacuous predicates in computer programs
CA 2248393 A1 · Owner: Carey, Michael J. · Inventors: Carey, Michael J.; Vance, Bennet; Rielau, Serge P.
Overview
Its claims, description and drawings are in the Canadian Patents Database.
Open the CIPO recordAbstract From the Canadian patent
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.
Read the whole patent
Listed from its CIPO record in Patent Yard's archive of Canadian patents past their term. Its claims, description and drawings are in the CIPO record and on Google Patents, and the Claude kit works from them.
Why it's free to use
- Filed September 24, 1998. No grant is recorded for it in Canada; had it been granted, its 20-year term would have ended September 24, 2018.
- A certificate of supplementary protection adds at most two years for a drug, so even that would have ended by September 24, 2020.
- We check Canadian rights only. A patent in its family in another country could still be in force: check its family on Google Patents.
Timeline
Timeline From CIPO dates
Sources & verification
Official CIPO records
Everything on this page comes from the CIPO record linked above. Contains information licensed under the Open Government Licence – Canada.