A Java Compiler Plugin for Type-Safe Inferences in Generics

Authors: Neha Kumari 0002, Rajeev Kumar 0004

Source: Journal of Universal Computer Science, Vol 31, Iss 4, Pp 312-337 (2025)
JUCS-Journal of Universal Computer Science 31(4): 312-337

Subject Terms: Type Safety, Electronic computers. Computer science, Wildcards, QA75.5-76.95, Ty, Java Generics, Type Argument Inference, Plugin

File Description: text/html

Access URL: https://doaj.org/article/bbd7effcc61141dd92bf9cd22abaa6fd
https://lib.jucs.org/article/106159/download/pdf/
https://lib.jucs.org/article/106159/
https://doi.org/10.3897/jucs.106159

Relational Solver for Java Generics Type System

Authors: Lozov, Peter^Aff9, Kosarev, Dmitry^Aff9, Ivanov, Dmitry^Aff10, Boulytchev, Dmitry^Aff9

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Glück, Robert, editor^Aff7, Kafle, Bishoksan, editor^Aff8

Source: Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. 14330:118-128

Corrective hints for type incorrect generic Java programs

Authors: El Boustani, Nabil, Hage, Jurriaan

Source: Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation. :5-14

Availability: http://dl.acm.org/doi/10.1145/1706356.1706360

Improving type error messages for generic java

Authors: El Boustani, Nabil, Hage, Jurriaan

Source: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation. :131-140

Availability: http://dl.acm.org/doi/10.1145/1480945.1480964

A Prolog-oriented extension of Java programming based on generics and annotations

Authors: Cimadamore, Maurizio, Viroli, Mirko

Source: Proceedings of the 5th international symposium on Principles and practice of programming in Java. :197-202

Availability: http://dl.acm.org/doi/10.1145/1294325.1294352

Reifying wildcards in Java using the EGO approach

Authors: Cimadamore, Maurizio, Viroli, Mirko

Source: Proceedings of the 2007 ACM symposium on Applied computing. :1315-1322

Availability: http://dl.acm.org/doi/10.1145/1244002.1244286

Understanding access restriction of variant parametric types and Java wildcards

Authors: Rimassa, Giovanni, Viroli, Mirko

Source: Proceedings of the 2005 ACM symposium on Applied computing. :1390-1397

Availability: http://dl.acm.org/doi/10.1145/1066677.1066993

Effective and Efficient Compilation of Run-Time Generics in Java

Authors: VIROLI, MIRKO

Source: Electronic Notes in Theoretical Computer Science. 138:95-116

Subject Terms: General Computer Science, JAVA, PARAMETRIC POLYMORPHISM, COMPILATION TECHNIQUES, JAVA GENERICS, COMPILERS, TYPE SYSTEMS, 0202 electrical engineering, electronic engineering, information engineering, Run-time Types, Parametric Polymorphism, 02 engineering and technology, Compilation Techniques, Java, Theoretical Computer Science, Computer Science(all)

Access URL: https://www.openaccessrepository.it/record/191946
https://hdl.handle.net/11585/11140

Improving type error messages for generic Java

Authors: Nabil El Boustani, Jurriaan Hage

Source: Higher-Order and Symbolic Computation. 24:3-39

Subject Terms: Error reporting, Theory of programming languages, compilers, Type Checking, Theory of compilers and interpreters, 02 engineering and technology, Computer Science Applications, type checking, error diagnosis, Java generics, Compilers, 0202 electrical engineering, electronic engineering, information engineering, Wiskunde en Informatica (WIIN), Software

File Description: application/xml

Access URL: https://link.springer.com/content/pdf/10.1007%2Fs10990-011-9070-3.pdf
http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-038.pdf
https://zbmath.org/6122899
https://doi.org/10.1007/s10990-011-9070-3
http://10.10.70.176:8080/experts/en/publications/567205cd-0180-45b6-a943-ed6fadf7b155
https://research-portal.uu.nl/en/publications/745eb857-5549-4095-9b27-42715ccd5c94

The Java 5 generics compromise orthogonality to keep compatibility

Authors: Radenski, Atanas ^{a, ⁎}, Furlong, Jeff ^b, Zanev, Vladimir ^c

Source: In The Journal of Systems & Software 2008 81(11):2069-2078

Implementation of Spatio-Temporal Data Types with Java Generics

Authors: Baranović, Mirta, Križanović, Krešimir, Galić, Zdravko

Subject Terms: java generics, spatio-temporal databases, spatio-temporal data types, moving objects

Access URL: https://www.bib.irb.hr/505838

Reverse generics - Parametrization after the fact (conference version)

Authors: Bergel, Alexandre, BETTINI, LORENZO

Subject Terms: C++ templates, Generic programming, Java generics, Computer Science Applications

Access URL: https://hdl.handle.net/2158/1086698

Integrating Java and Prolog using Java 5.0 generics and annotations

Authors: CIMADAMORE, MAURIZIO, VIROLI, MIRKO

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, JAVA, PROLOG, JAVA ANNOTATIONS, JAVA GENERICS

Access URL: https://hdl.handle.net/11585/46435

Understanding Access Restriction of Variant Parametric Types and Java Wildcards

Authors: Giovanni Rimassa, VIROLI, MIRKO

Contributors: HISHAM M. HADDAD, LORIE M. LIEBROCK, ANDREA OMICINI, MATHEW J. PALAKAL, MAGGIE WILDS, HORST CLAUSEN, Giovanni Rimassa, Mirko Viroli

Subject Terms: JAVA GENERICS, VARIANT PARAMETRIC TYPES, TYPE SYSTEMS

File Description: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/1581139640; ispartofbook:Applied Computing 2005, Proceedings of the 2005 ACM Symposium on Applied Computing; ACM Symposium on Applied Computing; volume:2; firstpage:1390; lastpage:1397; numberofpages:8; alleditors:HISHAM M. HADDAD, LORIE M. LIEBROCK, ANDREA OMICINI, MATHEW J. PALAKAL, MAGGIE WILDS, HORST CLAUSEN; http://hdl.handle.net/11585/10879

Availability: http://hdl.handle.net/11585/10879

Java4210: Getting Started with Generics

Authors: R.G. (Dick) Baldwin

Subject Terms: Java,Generics

Availability: http://cnx.org/contents/4acd2bdb-ed66-4d33-92e4-463bc9308dc3@3

Effective and Efficient Compilation of Run-Time Generics in Java

Authors: VIROLI, MIRKO

Contributors: VIVIANA BONO, MICHELE BUGLIESI, SOPHIA DROSSOPOULOU, Mirko Viroli

Subject Terms: JAVA GENERICS, COMPILERS, TYPE SYSTEMS

File Description: STAMPA

Relation: ispartofbook:2nd Workshop on Object-Oriented Developments; Workshop on Object-Oriented Developments; firstpage:1; lastpage:20; numberofpages:20; http://hdl.handle.net/11585/11140

Availability: http://hdl.handle.net/11585/11140

S’O’A University

Authors: Swadhin Kumar Barisal, Gayatri Nayak, Bighnaraj Naik

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://research.ijcaonline.org/volume47/number24/pxc3880417.pdf.

Subject Terms: Java Generics, ANTLR

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.7057; http://research.ijcaonline.org/volume47/number24/pxc3880417.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.7057
http://research.ijcaonline.org/volume47/number24/pxc3880417.pdf

Implementing moving objects using JAVA generic classes

Authors: K. Križanović

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.fer.hr/_download/repository/MovingObjects_Kresimir_Krizanovic.pdf.

Subject Terms: database, moving objects, JAVA generics, spatio-temporal data

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.165.5343; http://www.fer.hr/_download/repository/MovingObjects_Kresimir_Krizanovic.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.165.5343
http://www.fer.hr/_download/repository/MovingObjects_Kresimir_Krizanovic.pdf

Tool support for testing Java generics

Authors: Momotaz, Selina

Contributors: Pyeatt, Larry D., Namin, Akbar S.

Subject Terms: Test case generation, Java generics

File Description: application/pdf

Relation: http://hdl.handle.net/2346/ETD-TTU-2010-12-1082

Availability: http://hdl.handle.net/2346/ETD-TTU-2010-12-1082

Tool support for testing Java generics

Authors: Pyeatt, Larry D., Namin, Akbar S., Momotaz, Selina

Index Terms: Test case generation, Java generics, Thesis

URL: http://hdl.handle.net/2346/ETD-TTU-2010-12-1082