Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2003-10-31
2009-11-17
Vo, Ted T (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S117000
Reexamination Certificate
active
07620944
ABSTRACT:
Techniques are disclosed to support the resolution of an operator which has been called with inconsistent typing and at least one operand of a user-defined type. In order to allow the compilation of such an operation, first all possible widening conversions for each operand are examined to determine if any widening conversions of any operands would result in types over which the operator is defined. If not, both the narrowing and the widening conversions of each operand are considered, to determine if any conversions of either or both operands would result in types for which the operator is defined. If only widening conversions are used, the most encompassed possible result type is selected as the target type. If a narrowing conversion is used, the most encompassing possible result type is selected as the target type. In order to use the target type, each operand is converted to the target type. The operation is then performed using the converted operands.
REFERENCES:
Microsoft, “C# Language Specification”, May 2001, Microsoft Corporation, Version 0.28, pp. i-xiii, 1-362.
Baker, T.P., “A One-Pass Algorithm for Overload Resolution in Ada”,ACM Transactions on Programming Languages and Systems(TOPLAS), 1982, 4(4), 601-614.
Neubauer, M. et al., “Functional Logic Overloading”,Annual Symposium on Principles of Programming Languages, Proceedings of the 29thACM SIGPLAN-SIGACT Symposium on Principles of Programming, 2002, 233-244.
Beccario Cameron
Hamby John
Kantamneni Harish Venkata
Silver Amanda
Vick Paul
Microsoft Corporation
Vo Ted T
Woodcock & Washburn LLP
LandOfFree
Resolving operators with user defined operands does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Resolving operators with user defined operands, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Resolving operators with user defined operands will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4099069