Results 1 to 10 of about 146 (114)
Java generics are turing complete [PDF]
ACM SIGPLAN Notices, 2017 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 undecidable, which answers a question posed by Kennedy and Pierce in 2007. It also follows that Java's type checker can recognize any recursive language, which improves a result of Gill and Levy from 2016.
exaly +5 more sources
Simulating multiple inheritance and generics in Java [PDF]
Computer Languages, Systems and Structures, 1999 Summary: This paper presents Java language from an object-oriented software construction perspective. It explains the implications of banning generics and multiple inheritance of classes, and explores the patterns and the idioms used by the Java designers and programmers to redeem their benefits.
Krishnaprasad Thirunarayan +1 more
exaly +4 more sources
Instantiation of Java Generics
Acta Cybernetica, 2022 Type parametrization is an essential construct in modern programming languages. On one hand, Java offers generics, on the other hand, C++ offers templates for highly reusable code. The mechanism between these constructs differs and affects usage and runtime performance, as well.
Péter Soha, Norbert Pataki
openaire +3 more sources
Generating a Generic Fluent API in Java [PDF]
The Art, Science, and Engineering of Programming, 2020 Context: The algorithms for generating a safe fluent API are actively studied these years. A safe fluent API is the fluent API that reports incorrect chaining of the API methods as a type error to the API users. Although such a safe property improves the productivity of its users, the construction of a safe fluent API is too complicated for the ...
Tomoki Nakamaru, Shigeru Chiba
openaire +2 more sources
Pitfalls of C# Generics and Their Solution Using Concepts
Труды Института системного программирования РАН, 2018 In comparison with Haskell type classes and C++ concepts, such object-oriented languages as C# and Java provide much limited mechanisms of generic programming based on F-bounded polymorphism.
Julia Belyakova, Stanislav Mikhalkovich
doaj +1 more source
A Java Compiler Plugin for Type-Safe Inferences in Generics [PDF]
Journal of Universal Computer ScienceThe two most significant yet complex elements of Java generics are wildcards and type argument inference. Both processes rely on the compiler. Even though type argument inference and wildcard execution are implicit processes, a programmer should be aware
Neha Kumari, Rajeev Kumar
doaj +3 more sources
Generic ownership for generic Java [PDF]
ACM SIGPLAN Notices, 2006 Ownership types enforce encapsulation in object-oriented programs by ensuring that objects cannot be leaked beyond object(s) that own them. Existing ownership programming languages either do not support parametric polymorphism (type genericity) or attempt to add it on top of ownership restrictions. Generic Ownership
Potanin, Alex +3 more
openaire +2 more sources
ImgLib2—generic image processing in Java [PDF]
Bioinformatics, 2012 Abstract Summary: ImgLib2 is an open-source Java library for n-dimensional data representation and manipulation with focus on image processing. It aims at minimizing code duplication by cleanly separating pixel-algebra, data access and data representation in memory.
Tobias Pietzsch +3 more
openaire +4 more sources
Safe instantiation in Generic Java
Science of Computer Programming, 2006 AbstractThis paper introduces the “Safe Instantiation Principle”, a new design criterion for evaluating extensions of Java that support generic types. The paper initially focuses on the GJ and NextGen formulations of Generic Java and the implications of safe instantiation for both approaches.
Eric E. Allen, Robert Cartwright
openaire +2 more sources
Automated Test Generation for Java Generics [PDF]
, 2014 Software testing research has resulted in effective white-box test generation techniques that can produce unit test suites achieving high code coverage. However, research prototypes usually only cover subsets of the basic programming language features, thus inhibiting practical use and evaluation. One feature commonly omitted are Java’s generics, which
Gordon Fraser 0001, Andrea Arcuri
openaire +1 more source