Search Results - "Java,Generics"
-
1
Instantiation of Java Generics
ISSN: 0324-721X, 2676-993XPublished: Szeged Laszlo Nyul 01.01.2022Published in Acta cybernetica (Szeged) (01.01.2022)“… We evaluate the runtime performance of instantiated code and we present our tool which is able to use Java generics as templates…”
Get full text
Journal Article -
2
Adoption and use of Java generics
ISSN: 1382-3256, 1573-7616Published: Boston Springer US 01.12.2013Published in Empirical software engineering : an international journal (01.12.2013)“… In this paper, we report on the first empirical investigation into how Java generics have been integrated into open source software by automatically mining the history of 40 popular open source Java…”
Get full text
Journal Article -
3
A Java Compiler Plugin for Type-Safe Inferences in Generics
ISSN: 0948-695X, 0948-6968Published: Bristol Pensoft Publishers 28.03.2025Published in J.UCS (Annual print and CD-ROM archive ed.) (28.03.2025)“…The two most significant yet complex elements of Java generics are wildcards and type argument inference…”
Get full text
Journal Article -
4
WGM Associates LLC : Advanced programming with Java generics
Published: Melbourne News Bites Pty Ltd 24.11.2024Published in News Bites - Private Companies (24.11.2024)Get full text
Newsletter -
5
Java Generics are Turing Complete
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 07.11.2016Published in arXiv.org (07.11.2016)“…This paper describes a reduction from the halting problem of Turing machines to subtype checking in Java. It follows that subtype checking in Java is…”
Get full text
Paper -
6
Java Generics: An Order-Theoretic Approach (Detailed Outline)
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 23.05.2019Published in arXiv.org (23.05.2019)“… In this paper we present a detailed outline of a new approach to modeling Java generics that uses…”
Get full text
Paper -
7
Java Generics: An Order-Theoretic Approach (Abridged Outline)
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 20.06.2019Published in arXiv.org (20.06.2019)“…The mathematical modeling of generics in Java and other similar nominally-typed object-oriented programming languages is a challenge. In this short paper we…”
Get full text
Paper -
8
Improving type error messages for generic Java
ISSN: 1388-3690, 1573-0557Published: Boston Springer US 01.06.2011Published in Higher-Order and Symbolic Computation (01.06.2011)“…Since version 1.5, generics (parametric polymorphism) are part of the Java language. However, the combination of parametric polymorphism and inclusion…”
Get full text
Journal Article -
9
The Java 5 generics compromise orthogonality to keep compatibility
ISSN: 0164-1212, 1873-1228Published: New York Elsevier Inc 01.11.2008Published in The Journal of systems and software (01.11.2008)“…In response to a long-lasting anticipation by the Java community, version 1.5 of the Java 2 platform – referred to as Java 5 – introduced generic types and…”
Get full text
Journal Article -
10
Java generics and collections
ISSN: 0196-6006Published: Copyright Clearance Center, Inc 01.03.2007Published in Scitech book news (01.03.2007)Get full text
Book Review -
11
Java generics and collections
ISSN: 0196-6006Published: Portland Copyright Clearance Center, Inc 01.03.2007Published in Scitech book news (01.03.2007)Get full text
Book Review -
12
O'REILLY ASSOCIATES: Speed up the Java development process; O'Reilly releases "Java Generics and Collections"
Published: Coventry Normans Media Ltd 27.11.2006Published in M2 Presswire (27.11.2006)“… In "Java Generics and Collections" (O'Reilly), authors Maurice Naftalin and Philip Wadler cover everything from the most basic uses of generics to a comprehensive introduction to Collections Framework, including how and when to use each collection for any given task…”
Get full text
Newsletter -
13
Speed up the Java development process; O'Reilly releases "Java Generics and Collections"
Published: Normans Media Ltd 27.11.2006Published in M2 Presswire (27.11.2006)Get full text
Newspaper Article -
14
Slicing Java Generic Programs Using Generic System Dependence Graph
ISSN: 1007-1202, 1993-4998Published: Heidelberg Wuhan University 01.08.2009Published in Wuhan University journal of natural sciences (01.08.2009)“… To solve this problem, this paper presents a generic system dependence graph for Java generic programs based on the traditional system dependence graph to express dependences for parameterized type information…”
Get full text
Journal Article -
15
On the use of generic types for smart contracts
ISSN: 1386-7857, 1573-7543Published: New York Springer US 01.08.2023Published in Cluster computing (01.08.2023)“…This paper shows that generic types ( generics ) are useful for writing more abstract and more general smart contracts, but this comes with some security…”
Get full text
Journal Article -
16
Applying Generalization Refactoring to Java Generic Programs
Published: IEEE 01.07.2008Published in WSCS 2008 : first IEEE International Workshop on Semantic Computing and Systems : proceedings : 14-15 July 2008, Huangshan, China (01.07.2008)“… Some type constraint rules for Java generic programs are presented to verify the preconditions in the refactoring…”
Get full text
Conference Proceeding -
17
Decidable subtyping for path dependent types
ISSN: 2475-1421, 2475-1421Published: 01.01.2020Published in Proceedings of ACM on programming languages (01.01.2020)“…Path dependent types have long served as an expressive component of the Scala programming language. They allow for the modelling of both bounded polymorphism…”
Get full text
Journal Article -
18
Aspectual templates in UML: Enhancing the semantics of UML templates in OCL
ISSN: 1619-1366, 1619-1374Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.05.2017Published in Software and systems modeling (01.05.2017)“… (such as Java generics or C++ templates) to aspectual usage, including pattern-, aspect- and view-oriented modeling…”
Get full text
Journal Article -
19
Data Parallel Skeletons in Java
ISSN: 1877-0509, 1877-0509Published: Elsevier B.V 2012Published in Procedia computer science (2012)“…In the past years, multi-core processors and clusters of multi-core processors have emerged to be promising approaches to meet the growing demand for computing…”
Get full text
Journal Article -
20
Borland Licenses ObjectSpace's Java Generic Library
Published: PR Newswire Association LLC 18.09.1996Published in PR newswire (18.09.1996)Get full text
Newspaper Article