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

Relational Solver for Java Generics Type System

Συγγραφείς: Lozov, Peter^Aff9, Kosarev, Dmitry^Aff9, Ivanov, Dmitry^Aff10, Boulytchev, Dmitry^Aff9

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: 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

Reifying wildcards in Java using the EGO approach

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

Πηγή: Proceedings of the 2007 ACM symposium on Applied computing. :1315-1322

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

Understanding access restriction of variant parametric types and Java wildcards

Συγγραφείς: Rimassa, Giovanni, Viroli, Mirko

Πηγή: Proceedings of the 2005 ACM symposium on Applied computing. :1390-1397

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

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

Improving type error messages for generic Java

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

Πηγή: Higher-Order and Symbolic Computation. 24:3-39

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

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

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

Συγγραφείς: Radenski, Atanas ^{a, ⁎}, Furlong, Jeff ^b, Zanev, Vladimir ^c

Πηγή: In The Journal of Systems & Software 2008 81(11):2069-2078

Implementation of Spatio-Temporal Data Types with Java Generics

Συγγραφείς: Baranović, Mirta, Križanović, Krešimir, Galić, Zdravko

Θεματικοί όροι: java generics, spatio-temporal databases, spatio-temporal data types, moving objects

Σύνδεσμος πρόσβασης: https://www.bib.irb.hr/505838

Reverse generics - Parametrization after the fact (conference version)

Συγγραφείς: Bergel, Alexandre, BETTINI, LORENZO

Θεματικοί όροι: C++ templates, Generic programming, Java generics, Computer Science Applications

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2158/1086698

Integrating Java and Prolog using Java 5.0 generics and annotations

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

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

Σύνδεσμος πρόσβασης: https://hdl.handle.net/11585/46435

Understanding Access Restriction of Variant Parametric Types and Java Wildcards

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

Συνεισφορές: HISHAM M. HADDAD, LORIE M. LIEBROCK, ANDREA OMICINI, MATHEW J. PALAKAL, MAGGIE WILDS, HORST CLAUSEN, Giovanni Rimassa, Mirko Viroli

Θεματικοί όροι: JAVA GENERICS, VARIANT PARAMETRIC TYPES, TYPE SYSTEMS

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://hdl.handle.net/11585/10879

Java4210: Getting Started with Generics

Συγγραφείς: R.G. (Dick) Baldwin

Θεματικοί όροι: Java,Generics

Διαθεσιμότητα: http://cnx.org/contents/4acd2bdb-ed66-4d33-92e4-463bc9308dc3@3

Effective and Efficient Compilation of Run-Time Generics in Java

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

Συνεισφορές: VIVIANA BONO, MICHELE BUGLIESI, SOPHIA DROSSOPOULOU, Mirko Viroli

Θεματικοί όροι: JAVA GENERICS, COMPILERS, TYPE SYSTEMS

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://hdl.handle.net/11585/11140

S’O’A University

Συγγραφείς: Swadhin Kumar Barisal, Gayatri Nayak, Bighnaraj Naik

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://research.ijcaonline.org/volume47/number24/pxc3880417.pdf.

Θεματικοί όροι: Java Generics, ANTLR

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

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

Διαθεσιμότητα: 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

Συγγραφείς: K. Križanović

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.fer.hr/_download/repository/MovingObjects_Kresimir_Krizanovic.pdf.

Θεματικοί όροι: database, moving objects, JAVA generics, spatio-temporal data

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Momotaz, Selina

Συνεισφορές: Pyeatt, Larry D., Namin, Akbar S.

Θεματικοί όροι: Test case generation, Java generics

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

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

Διαθεσιμότητα: http://hdl.handle.net/2346/ETD-TTU-2010-12-1082

Tool support for testing Java generics

Συγγραφείς: Pyeatt, Larry D., Namin, Akbar S., Momotaz, Selina

Όροι ευρετηρίου: Test case generation, Java generics, Thesis

Σύνδεσμος: http://hdl.handle.net/2346/ETD-TTU-2010-12-1082