A Java Compiler Plugin for Type-Safe Inferences in Generics

Συγγραφείς: Neha Kumari 0002, Rajeev Kumar 0004

Πηγή: Journal of Universal Computer Science, Vol 31, Iss 4, Pp 312-337 (2025)
JUCS-Journal of Universal Computer Science 31(4): 312-337

Θεματικοί όροι: Type Safety, Electronic computers. Computer science, Wildcards, QA75.5-76.95, Ty, Java Generics, Type Argument Inference, Plugin

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: 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

Specializing generic Java data structures

Συγγραφείς: Graur, Dan, Bruno, Rodrigo, Alonso, Gustavo

Πηγή: Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. :45-53

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3475738.3480718

Java Generics and Collections : Fundamentals and Recommended Practices

Συγγραφείς: Maurice Naftalin, Philip Wadler

Resource Type: eBook.

Θέματα: Object-oriented programming (Computer science), Java (Computer program language)

Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / Tools, COMPUTERS / Internet / Web Programming, COMPUTERS / Internet / Web Services & APIs

Java Generics and Collections

Συγγραφείς: Meenu Jaiswal, Sunil Gupta

Resource Type: eBook.

Categories: COMPUTERS / Languages / Java

Evolution and Adoption of Java Programming Features: A Comparative Study of Generics and Lambda Expressions

Συγγραφείς: Ramakrishnan, Ranjith Kumar^Aff38, Lekkala, Jai Jaswant^Aff39

Συνεισφορές: Angrisani, Leopoldo, Series Editor^Aff1, Arteaga, Marco, Series Editor^Aff2, Chakraborty, Samarjit, Series Editor^Aff3, Chen, Shanben, Series Editor^Aff4, Chen, Tan Kay, Series Editor^Aff5, Dillmann, Rüdiger, Series Editor^Aff6, Duan, Haibin, Series Editor^Aff7, Ferrari, Gianluigi, Series Editor^Aff8, Ferre, Manuel, Series Editor^Aff9, Jabbari, Faryar, Series Editor^Aff10, Jia, Limin, Series Editor^Aff11, Kacprzyk, Janusz, Series Editor^Aff12, Khamis, Alaa, Series Editor^Aff13, Kroeger, Torsten, Series Editor^Aff14, Li, Yong, Series Editor^Aff15, Liang, Qilian, Series Editor^Aff16, Martín, Ferran, Series Editor^Aff17, Ming, Tan Cher, Series Editor^Aff18, Minker, Wolfgang, Series Editor^Aff19, Misra, Pradeep, Series Editor^Aff20, Mukhopadhyay, Subhas, Series Editor^Aff21, Ning, Cun-Zheng, Series Editor^Aff22, Nishida, Toyoaki, Series Editor^Aff23, Oneto, Luca, Series Editor^Aff24, Panigrahi, Bijaya Ketan, Series Editor^Aff25, Pascucci, Federica, Series Editor^Aff26, Qin, Yong, Series Editor^Aff27, Seng, Gan Woon, Series Editor^Aff28, Speidel, Joachim, Series Editor^Aff29, Veiga, Germano, Series Editor^Aff30, Wu, Haitao, Series Editor^Aff31, Zamboni, Walter, Series Editor^Aff32, Tan, Kay Chen, Series Editor^Aff33, Kumar, Amit, editor^Aff34, Gunjan, Vinit Kumar, editor^Aff35, Senatore, Sabrina, editor^Aff36, Hu, Yu-Chen, editor^Aff37

Πηγή: Proceedings of the 6th International Conference on Data Science, Machine Learning and Applications, Volume 2 : ICDSMLA 2024, 13–14 December, Tirupati, India. 1529:672-684

Java Generics

Συγγραφείς: Usharani Bhimavarapu

Πηγή: Java 22 for Healthcare and Medical Applications ISBN: 9781003544319

Java generics adoption : how new features are introduced, championed, or ignored

Συγγραφείς: Parnin, Chris, Bird, Christian, Murphy-Hill, Emerson

Πηγή: Proceedings of the 8th Working Conference on Mining Software Repositories. :3-12

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1985441.1985446

Corrective hints for type incorrect generic Java programs

Συγγραφείς: El Boustani, Nabil, Hage, Jurriaan

Πηγή: Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation. :5-14

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1706356.1706360

Improving type error messages for generic java

Συγγραφείς: El Boustani, Nabil, Hage, Jurriaan

Πηγή: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation. :131-140

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1480945.1480964

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

Συγγραφείς: Cimadamore, Maurizio, Viroli, Mirko

Πηγή: Proceedings of the 5th international symposium on Principles and practice of programming in Java. :197-202

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1294325.1294352

Java generics are turing complete

Συγγραφείς: Grigore, Radu

Πηγή: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. :73-85

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3009837.3009871

Object and reference immutability using Java generics

Συγγραφείς: Zibin, Yoav, Potanin, Alex, Ali, Mahmood, Artzi, Shay, Kie|un, Adam, Ernst, Michael D.

Πηγή: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. :75-84

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1287624.1287637

Refactoring Java generics by inferring wildcards, in practice

Συγγραφείς: Altidor, John, Smaragdakis, Yannis

Πηγή: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. :271-290

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/2660193.2660203

Generic traits for the Java platform

Συγγραφείς: Bettini, Lorenzo, Damiani, Ferruccio

Πηγή: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools. :5-16

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/2647508.2647518

Instantiation of Java Generics

Συγγραφείς: Péter Soha, Norbert Pataki

Πηγή: Acta Cybernetica. 25:897-908

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/4117/4053
http://hdl.handle.net/10831/112779

Safer typing of complex API usage through Java generics

Συγγραφείς: Harrison, William, Lievens, David, Simeoni, Fabio

Πηγή: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java. :67-75

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1596655.1596666

Java Generics: An Order-Theoretic Approach (Detailed Outline)

Συγγραφείς: AbdelGawad, Moez A.

Θεματικοί όροι: Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1906.03937

Java Generics: An Order-Theoretic Approach (Abridged Outline)

Συγγραφείς: AbdelGawad, Moez A.

Θεματικοί όροι: Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1906.11197

Effective and Efficient Compilation of Run-Time Generics in Java

Συγγραφείς: VIROLI, MIRKO

Πηγή: Electronic Notes in Theoretical Computer Science. 138:95-116

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: https://www.openaccessrepository.it/record/191946
https://hdl.handle.net/11585/11140

Relational Solver for Java Generics Type System

Συγγραφείς: Lozov, Peter, primary, Kosarev, Dmitry, additional, Ivanov, Dmitry, additional, Boulytchev, Dmitry, additional

Πηγή: Lecture Notes in Computer Science. 2023/01/01