Type inference for object-oriented languages

Details Type inference for object-oriented languages Type inference for object-oriented languages

2011-01-18

2011-01-18

Sparks, Donald (Department: 2129)

Data processing: artificial intelligence

Knowledge processing system

Knowledge representation and reasoning technique

Reexamination Certificate

active

07873592

ABSTRACT:
Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.

REFERENCES:
patent: 5301260 (1994-04-01), Miyashita
patent: 5748966 (1998-05-01), Sato
patent: 6157901 (2000-12-01), Howe
patent: 6202202 (2001-03-01), Steensgaard
patent: 7047447 (2006-05-01), Cantrill
patent: 2004/0194058 (2004-09-01), Meijer et al.
patent: 2005/0086639 (2005-04-01), Min et al.
patent: 2006/0048095 (2006-03-01), Meijer et al.
patent: 2006/0080641 (2006-04-01), Taylor et al.
patent: 2006/0167880 (2006-07-01), Meijer et al.
patent: WO0106357 (2001-01-01), None
‘A Lambda Calculus of Objects and Method Specialization’: Mitchell, 1993, IEEE, 1043-6871, pp. 26-38.
Milner, ‘A theory of type polymorphism in programming’:, 1978, journal of computer and system sciences 17, 348-375.
Sutor, ‘The type reference and coercion facilities in the scratchpad II interpreter’:, ACM 0-89791-235, pp. 56-63.
Wang, et al. “Precise Constraint-Based Type Inference for Java”, http://www.cs.jhu.edu/˜scott/pll/papers/ecoop01.pdf, Department of Computer Science, The Johns Hopkins University, last accessed Feb. 2, 2007, 19 pages, Baltimore, MD, USA.
Agesen. “Concrete Type Inference: Delivering Object-Oriented Applications”, Sun Microsystems Laboratories, http://research.sun.com/techrep/1996/smli—tr-96-52.pdf, Jan. 1996, Mountain View, CA, USA, last accessed Feb. 2, 2007, 187 pages.
Rapicault, et al. “Dynamic Type Inference to Support Object-Oriented Reengineering in Smalltalk”, http://www.iam.unibe.ch/˜scg/Archive/famoos/Rapi98a/type.pdf, last accessed Feb. 2, 2007, 5 pages, Sophia Antipolis, FR.

Affiliated with

Also associated with

Rating

Type inference for object-oriented languages 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 for object-oriented languages, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Type inference for object-oriented languages will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2667228