SYSTEMS AND METHODS FOR HARDWARE-ASSISTED TYPE CHECKING

• Main Authors: ANDERSON OWEN, CEZE LUIS, FORTUNA EMILY, EGGERS SUSAN J
• Format: Patent
• Language: English
• Published: 06.06.2013
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

Devices and methods of providing hardware support for dynamic type checking are provided. In some embodiments, a processor includes a type check register and support for one or more checked load instructions. In some embodiments, normal load instructions are replaced by a compiler with the checked l...