Method of implementing parameterized types to be compatible with

Electrical computers and digital processing systems: multicomput – Computer-to-computer data routing – Least weight routing

Patent

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

395710, 709305, G06F 945

Patent

active

060186283

ABSTRACT:
A method and apparatus for generating code using parameterized classes which is compatible with an existing class library that was previously generated using unparameterized classes is disclosed. According to the method, parameterized source code is received that contains variables that belong to a plurality of types which are defined by supplying parameter values to a parameterized class definition. Static type checking is performed on the parameterized source code to determine if any incompatible type assignments exist between variables that belong to the plurality of types and values assigned to the variables. If no incompatible type assignments exist, then a homogeneous translation is performed on the parameterized source code to generate unparameterized class code. The unparameterized class code is then compiled to produce code that is compatible with the existing class library that was generated using unparameterized classes.

REFERENCES:
patent: 5339434 (1994-08-01), Rusis
patent: 5896522 (1999-04-01), Ward et al.
Thorup, K., "Genericity in Java with Virtual Types", in Aksit and Matsuoka, eds., Proceedings of ECOOP '97, Jyvaskyla, Finland, published at least by Jun., 1997.
Bracha, G., Odersky, M. Stoutamire, D., and Wadler, P., "GJ Specification", published at least by Apr., 1998.
Bracha, G., Odersky M., Stoutamire, D., and Wadler, P., "GJ: Extending the Java.TM. Programming Language with Type Parameters", published at least by Apr., 1998.
Bracha, G., Odersky, M., Stoutamire, D., Wadler, P., "Generic Java: Java with Type Parameters", published at least by Apr., 1998.
Bracha, G., Odersky, M. Stoutamire, D., and Wadler, P., Making the Future Safe for the Past: Adding Genericity to the Java.TM. Programming Language, published at least by Apr., 1998.
Myers, A., Bank, J.A., and Liskov, B., "Parameterized Types of Java", published at least by Jan., 1997.
Odersky, M. and Wadler, P., "Leftover Curry and Reheated Pizza: How Functional Programming Nourishes Software Reuse", published at least by Jun., 1998.
Odersky, M. and Wadler, P., "Pizza into Java: Translating Theory into Practice," published at least by Jan., 1997.
Bruce, Kim. B., Petersen, Leaf and Fiech, Adrian, "Subtyping is Not a Good "Match" for Object-Oriented Languages," published at least by Jun., 1997.
Agesen, Ole, Freund, Stephen N. and Mitchell, John C., "Adding Type Parameterization to the Java Language," published at least by Oct., 1997.
Laufer et al, "Polymorphic Type Inference and Abstract Data Types," ACM Transactions on Programming Languages and Systems, vol. 16, No. 5, pp. 1411-1430, Sep. 1994.
Kim B. Bruce, "Safe type checking in statically-typed object-oriented programming language," POPL '93, ACM 20th symposium on Principles of programming languages, pp. 285-298, Jan. 1993.
Chen et al, Parametric Type Classes, LFP '92, ACM SIGPLAN Lisp Pointers, Proceedings of the conference on Lisp and functional programming, vol. V, No. 1, pp. 170-181, Jan. 1992.
Philip Wadler, "GJ, Pizza, and Java," http.//www.cs.bell-labs.com/who/wadler/topics/gj.html, pp. 1-4, U-known.
Philip Wadler, "A Generic Java Language Extension," http:www.cs.bell-labs.com/who/wadler/pizza/gj/, pp. 1-2, U-Known.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Method of implementing parameterized types to be compatible with 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 of implementing parameterized types to be compatible with, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of implementing parameterized types to be compatible with will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-2322118

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.