Methods to support multimethod function overloading with compile

Details Methods to support multimethod function overloading with compile Methods to support multimethod function overloading with compile

1991-09-30

1996-01-30

Heckler, Thomas M.

Boots, shoes, and leggings

3642463, 364265, 3642804, 364DIG1, G06F 945, G06F 1100

Patent

active

054887275

ABSTRACT:
Methods and related apparatus, for use in programming language systems, are set forth which support compile-time type checking for overloaded functions in an environment supporting subtypes with multiple inheritance. At both compile and runtime, the invention considers the type of all actual arguments of a function to select a proper function instance to execute. Furthermore, the methods contemplated by the invention identify at compile time the set of function instances which might be invoked due to subtype substitutions for the actual arguments. Since type errors on function invocations or variable assignments are usually indicative of a programming error, program reliability can be improved and faults that would otherwise result in runtime errors can be corrected through the use of the invention prior to program deployment.

REFERENCES:
patent: 4595981 (1986-06-01), Leung
patent: 4686623 (1987-08-01), Wallace
patent: 4694420 (1987-09-01), Pettet et al.
patent: 4696003 (1987-09-01), Kerr et al.
patent: 4802165 (1989-01-01), Ream
patent: 4819160 (1989-04-01), Tanica et al.
patent: 4827404 (1989-05-01), Barstow et al.
patent: 4864569 (1989-09-01), Delucia et al.
patent: 4885684 (1989-12-01), Austin et al.
patent: 4894771 (1990-01-01), Kunii et al.
patent: 4937739 (1990-06-01), Ernst et al.
patent: 4953084 (1990-08-01), Meloy et al.
patent: 5021947 (1991-06-01), Campbell et al.
patent: 5093914 (1992-03-01), Coplien et al.
Lecluse et al., Manipulation of Structured Values in Object Oriented Databases, 1989, The Whole Document.
Lomet, Hardware Assistance For Type Checking, May, 1976.
Beaven, A Functional Language with Classes, 1991, pp. 364-370. Conference Date: 18-20 Oct. 1989.
O'Brien, The Trellis Programming Environment, 1987, Sig Plan Notices vol. 22, No. 12, pp. 91-102.
Shaffert, An Introduction to Trellis/Owl, 1986, Sig Plan Notices vol. 21, No. 11, pp. 9-16.
Lafore, R., The Waite Group's C Programming Using Turbo C.sup.++, 1990, pp. 667-669.

Affiliated with

Also associated with

Rating

Methods to support multimethod function overloading with compile does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods to support multimethod function overloading with compile, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods to support multimethod function overloading with compile will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-162963