Type inference system and method

Details Type inference system and method Type inference system and method

2011-06-07

2011-06-07

Zhen, Wei Y (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Programming language

C717S111000, C717S112000, C717S148000

Reexamination Certificate

active

07958493

ABSTRACT:
Systems and methods of representing and extracting type information from typeless and dynamically-typed programming languages are provided. These systems and methods can be immune to source file edits and the order in which those edits are executed. Deriving type information from these languages allows tools to perform operations, for example, refactoring, intellisense, recognition of semantic errors, etc. These systems and methods can be implemented using processes that, implicitly or explicitly, gather type information for the program, and can also accept user input as well.

REFERENCES:
patent: 4989132 (1991-01-01), Mellender et al.
patent: 5361351 (1994-11-01), Lenkov et al.
patent: 5448740 (1995-09-01), Kiri et al.
patent: 5812851 (1998-09-01), Levy et al.
patent: 5821851 (1998-10-01), Blackmer
patent: 7086041 (2006-08-01), Plesko et al.
patent: 2002/0099738 (2002-07-01), Grant
patent: 2005/0043940 (2005-02-01), Elder
patent: 2005/0066319 (2005-03-01), DeLine et al.
patent: 2005/0069207 (2005-03-01), Zakrzewski et al.
Gudeman et al., Representing Type Informationin Dynamically Typed Languages; 1993, aquired from http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.4394&rep=rep1&type=pdf, pp. 1-38.
Shao et al., A type-based compiler for standard ML; ACM, 1995, pp. 116-129.
Written Opinion of the International Searching Authority for PCT/US07/01697.

Affiliated with

Also associated with

Rating

Type inference system and method does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Type inference system and method, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Type inference system and method will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2735275