Predictive arithmetic overflow detection

Details Predictive arithmetic overflow detection Predictive arithmetic overflow detection

2006-03-07

2006-03-07

Chavis, John (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S118000

Reexamination Certificate

active

07010786

ABSTRACT:
A method for arithmetic overflow detection includes receiving a first instruction defined for a first processor having a first base, where the instruction comprises an operator and at least one operand having an operand type. The method also includes indicating whether the at least one operand has potential overflow based at least in part on the operator and the relationship between the operand type and a result type associated with the operator.

REFERENCES:
patent: 3805045 (1974-04-01), Larsen
patent: 3993891 (1976-11-01), Beck et al.
patent: 4400769 (1983-08-01), Kaneda et al.
patent: 4504924 (1985-03-01), Cook et al.
patent: 5305456 (1994-04-01), Boitana
patent: 5408670 (1995-04-01), Davies
patent: 5446901 (1995-08-01), Owicki et al.
patent: 5497340 (1996-03-01), Uramoto et al.
patent: 5606677 (1997-02-01), Balmer et al.
patent: 5668999 (1997-09-01), Gosling
patent: 5724279 (1998-03-01), Benaloh et al.
patent: 5732263 (1998-03-01), Havens et al.
patent: 5740441 (1998-04-01), Yellin et al.
patent: 5784553 (1998-07-01), Kolawa et al.
patent: 5794049 (1998-08-01), Lindholm
patent: 5884316 (1999-03-01), Bernstein et al.
patent: 5920720 (1999-07-01), Toutonghi et al.
patent: 5999731 (1999-12-01), Yellin et al.
patent: 6003038 (1999-12-01), Chen
patent: 6026237 (2000-02-01), Berry et al.
patent: 6075863 (2000-06-01), Krishnan et al.
patent: 6092147 (2000-07-01), Levy et al.
patent: 6093216 (2000-07-01), Adi-Tabatabai et al.
patent: 6151618 (2000-11-01), Wahbe et al.
patent: 6182158 (2001-01-01), Kougiouris et al.
patent: 6212633 (2001-04-01), Levy et al.
patent: 6247174 (2001-06-01), Santhanam et al.
patent: 6308317 (2001-10-01), Wilkinson et al.
patent: 6363523 (2002-03-01), Chen et al.
patent: 6477702 (2002-11-01), Yellin et al.
patent: 2002/0023954 (2002-02-01), Calder et al.
patent: 0 778 522 (1997-06-01), None
patent: WO 01/14958 (2001-03-01), None
Sun Microsystems, Inc., Java Card™ 20. Developer's Guide, Aug. 19, 1998, Revision 1.12.
Sun Microsystems, Inc., “Java Card™ 2.0 Application Programming Interfaces”, Oct. 13, 1997, Rev. 1.0.
Sun Microsystems, Inc., “Java Card™ 2.0 Language Subset and Virtual Machine Specification”, Oct. 13, 1997, Revision 1.0 Final.
Sun Microsystems, Inc., “Java Card™ 2.0 Programming Concepts”, Oct. 15, 1997, Rev. 1.0 Final.
Sun Microsystems, Inc., “Java Card™ 2.1 Application Programming Interface”, Jun. 7, 1999, Final Rev. 1.1.
Sun Microsystems, Inc., “Java Card™ 2.1 Runtime Environment (JCRE) Specification”, Jun. 7, 1999, Final Revision 1.1.
Sun Microsystems, Inc., “Java Card™ 2.1 Virtual Machine Specification”, Jun. 7, 1999, Final Rev. 1.1.
Sun Microsystems, Inc., “Release Notes—Java Card™ 2.1 Specifications”, Jun. 7, 1999, Final Rev. 1.1.
Sun Microsystems, Inc., “Java Check™ 3.0 Frequently Asked Questions”, printed from http://java.sun.com/products/personaljava/jcheckfaq30-beta.html, on Dec. 3, 1999.
Sun Microsystems, Inc., “Java Check™ Technical Notice”, printed from http://java.sun.com/products/personaljava/jcheckTechNotice.html, on Dec. 3, 1999.
Sun Microsystems, Inc., “Using Java Check™”, Version 2.0.1, printed from www.sun.com/software/personaljava/techinfo.html, on Dec. 3, 1999.
Sun Microsystems, Inc., “Using Java Check™”, Version 3.0, printed from http://java.sun.com/cgi-bin/download2.cgi, on Dec. 3, 1999.
Sun Microsystems, Inc., “The K Virtual Machine (KVM)”, White Paper Jun. 8, 1999.
Ritchey, Tim, “Advanced Topics: The Java Virtual Machine”JAVA!, Chapter 14, pp. 25-346, Sep. 22, 1995.
Daniels, John et al., “Strategies For Sharing Objects In Distributed Systems”, JOOP, Object Designers Ltd. UK, pp. 27-36.
Michael Shuttle et al., “Exact Rounding of Certain Elementary Functions”, Jun. 29, 1993, pp. 138-145.
Ziv, Abraham, “Fast Evaluation of Elementary Mathematical Functions with Correctly Rounded Last Bit”, Sep. 1, 1991, pp. 410-423.
George E. Necula et al., “Proof Carrying Code”, Nov. 1996, pp. 1-60.

Affiliated with

Also associated with

Rating

Predictive arithmetic overflow detection does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Predictive arithmetic overflow detection, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Predictive arithmetic overflow detection will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3608543