Method for implementing dynamic type checking

Details Method for implementing dynamic type checking Method for implementing dynamic type checking

2006-07-18

2006-07-18

Zhen, Wei Y. (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Programming language

C717S114000, C717S118000, C717S143000

Reexamination Certificate

active

07080354

ABSTRACT:
Methods and apparatuses for dynamic type checking are described. For one embodiment runtime code generation is used to effect dynamic type checking by generating code specialized to different object types. For one embodiment a virtual dynamic type check (DTC) function is generated for each object at run time. The virtual DTC function contains a sequence of instructions to type check every element (type) within an object's type hierarchy. The virtual DTC function is tailored for a particular type and thus conducts dynamic type checking more efficiently for objects of the particular type. For one embodiment the DTC function can complete type checking of interface type hierarchies. For one embodiment a compiler may determine whether a type is a class type or interface type and may generate a virtual DTC function only for interface types.

REFERENCES:
patent: 5093914 (1992-03-01), Coplien et al.
patent: 5557793 (1996-09-01), Koerber
patent: 5590327 (1996-12-01), Biliris et al.
patent: 5721925 (1998-02-01), Cheng et al.
patent: 6182283 (2001-01-01), Thomson
patent: 2002/0016864 (2002-02-01), Brett
Agrawal et al., Static Type Checking of Multi-Methods, p. 113-128.

Affiliated with

Also associated with

Rating

Method for implementing dynamic type checking does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method for implementing dynamic type checking, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for implementing dynamic type checking will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3597207