Abstrakt. Med införandet av Java 5.0 har typsystemet utökats med parameteriserade typer, typvariabler, typtermer och jokertecken. Som ett resultat kan mycket komplexa typer uppstå. Uttrycket Vector <? Förlänger Vector <AbstractList <Integer>>>> är till exempel en korrekt typ i Java 5.0. I detta papper presenterar vi en typ enande algoritm för Java 5.0 typ termer. Algoritmen förenar typtermer, som är i subtypsförhållande. För detta definierar vi Java 5.0 typ termer och dess subtyping förhållande, formellt. Eftersom Java 5.0 tillåter jokertecken som exempel på generiska typer innehåller undertypningen oändliga kedjor. Vi visar att typ enandet fortfarande är finansiellt. Vi ger en typ enande algoritm, som beräknar den ändliga uppsättningen allmänna unifiers.
Den typ endräktsalgoritm som presenteras av REF kan användas för Java type inference.
Java type unification with wildcards
{'venue': 'In Proceedings of 17th International Conference on Applications of Declarative Programming and Knowledge Management and 21st Workshop on (Constraint) Logic Programming', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}