Java generics in versions 1.5 and later, are implemented by generating only one byte code representation of ... errors but a lot to do with the Java generics implementation choice leaving sometimes with no alternative but ...
Tópico(s): Software Engineering and Design Patterns
2007 - Consortium for Computing Sciences in Colleges | Journal of computing sciences in colleges
Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva,
... automatically derive, from specifications, unit test cases for Java generic classes that, in addition to the usual testing data, encompass implementations for the type parameters. The proposed technique relies on the use of Alloy Analyzer to find model instances for each test goal. JUnit test cases and Java implementations of the parameters are extracted from these ...
Tópico(s): Formal Methods in Verification
2012 - Springer Science+Business Media | Lecture notes in computer science
... use and evaluation. One feature commonly omitted are Java's generics, which have been present in the language since 2004. In Java, a generic class has type parameters and can be instantiated ... approaches: First, the test generator needs to use Java's extended reflection API to retrieve the little information that remains after type erasure. Second, a simple static analysis can identify candidate classes for type parameters of generic classes. The presented techniques are implemented in the ...
Tópico(s): Real-time simulation and control systems
2014 - Springer Science+Business Media | Lecture notes in business information processing
Chris Parnin, Christian Bird, Emerson Murphy-Hill,
Tópico(s): Software Engineering Techniques and Practices
2012 - Springer Science+Business Media | Empirical Software Engineering
Eric E. Allen, Robert Cartwright,
... principle to the problem of adding mixins to Java as generic types. Finally, it shows that the hygienic formulation of mixins is the only way to maintain safe instantiation and type soundness in Java with mixins and to prevent the introduction of ...
Tópico(s): Software Testing and Debugging Techniques
2005 - Elsevier BV | Science of Computer Programming
Gilles Vanwormhoudt, Olivier Caron, Bernard Carré,
... from the representation of generic components (such as Java generics or C++ templates) to aspectual usage, including pattern-, ...
Tópico(s): Model-Driven Software Engineering Techniques
2015 - Springer Science+Business Media | Software & Systems Modeling
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. The latter point is illustrated by a parser generator for fluent interfaces.
Tópico(s): Logic, Reasoning, and Knowledge
2017 - Association for Computing Machinery | ACM SIGPLAN Notices
John Altidor, Shan Huang, Yannis Smaragdakis,
... any type-instantiation. Applying our technique to six Java generic libraries (including the Java core library) shows that 20-58 (depending on the library) of generic definitions are inferred to have single-variance; 8- ...
Tópico(s): Advanced Software Engineering Methodologies
2011 - Association for Computing Machinery | ACM SIGPLAN Notices
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves,
... the ability to encode the parameteric polymorphism of Java generics along with many idioms of the Scala module ...
Tópico(s): Security and Verification in Computing
2019 - Association for Computing Machinery | Proceedings of the ACM on Programming Languages
Nels E. Beckman, Duri Kim, Jonathan Aldrich,
... in the Java library define type parameters using Java Generics.) This suggests that protocol checking tools are widely ...
Tópico(s): Formal Methods in Verification
2011 - Springer Science+Business Media | Lecture notes in computer science
Tópico(s): Software Reliability and Analysis Research
2009 - Springer Science+Business Media | Wuhan University Journal of Natural Sciences
Chieri Saito, Atsushi Igarashi,
... better self typing for mutually recursive classes than Java generics.To support this claim rigorously, we show that ...
Tópico(s): Formal Methods in Verification
2008 - EtH Zurich | The Journal of Object Technology
A. Neto, H. Fernandes, A. Duarte, B.B. Carvalho, J. Sousa, D. Valcárcel, M. Hron, C. A. F. Varandas,
... used to develop these drivers. Currently Python and Java generic drivers are used. Data storage and indexing is ...
Tópico(s): Superconducting Materials and Applications
2007 - Elsevier BV | Fusion Engineering and Design
Nabil El Boustani, Jurriaan Hage,
... and inclusion polymorphism is complicated, particularly so for Generic Java. Indeed, the main Java compilers, Eclipse’s ejc ... how to adapt the type inference process of Java to obtain better error diagnostics for generic method invocations. Although the extension by itself already helps to improve type error messages to some extent, another major advantage of the new type inference process is that it also paves the way for further heuristics can provide additional diagnostic information. The extension has been implemented into the JastAdd Extensible Java Compiler.
Tópico(s): Advanced Software Engineering Methodologies
2011 - Springer Science+Business Media | Higher-Order and Symbolic Computation
... is type-safe due to its design with Java’s generic type parameters and thread-safe using Java’s concurrent programming facilities. We report on the ...
Tópico(s): Formal Methods in Verification
2007 - Elsevier BV | Science of Computer Programming
Alex Potanin, James Noble, Dave Clarke, Robert Biddle,
... achieve deep ownership. Finally we describe how Ownership Generic Java (OGJ) was implemented as a minimal extension to Generic Java in the hope of bringing ownership types into ...
Tópico(s): Distributed systems and fault tolerance
2006 - Association for Computing Machinery | ACM SIGPLAN Notices
Robert M. Fuhrer, Frank Tip, Adam Kieżun, Julian Dolby, Markus Keller,
Java 1.5 generics enable the creation of reusable container classes with compiler-enforced type-safe usage. This eliminates the ... that use the standard collections framework to use Java 1.5's generic version instead. In these benchmarks, on average, 48. ...
Tópico(s): Software Engineering Research
2005 - Springer Science+Business Media | Lecture notes in computer science
Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst,
... of immutability contracts. This paper presents Ownership Immutability Generic Java (OIGJ), a backward-compatible purely-static language extension supporting ownership and immutability. We formally defined a ...
Tópico(s): Parallel Computing and Optimization Techniques
2010 - Association for Computing Machinery | ACM SIGPLAN Notices
Luca Gherardi, Davide Brugali, D. Comotti,
Along the years robotics software and applications have been typically implemented in compiled languages, such as C and C++, rather than interpreted languages, like Java. This choice has been due to their well-known faster behaviors, which meet the high performance requirements of robotics. Nevertheless, several projects that implement robotics functionality in Java can be found in literature and different experiments conduced by computer scientists have proved that the difference between Java and ...
Tópico(s): Real-Time Systems Scheduling
2012 - Springer Science+Business Media | Lecture notes in computer science
Christos Kloukinas, Chaker Nakhli, Sergio Yovine,
Current trends in industry are leading towards the use of Java [5] as a programming language for implementing embedded and real-time applications. From the software engineering perspective, the Java environment is indeed a very attractive development framework. Object-oriented programming provides encapsulation of abstractions into objects that communicate through clearly defined interfaces. Dynamic loading eases the maintenance and improvement of complex applications with evolving requirements and ...
Tópico(s): Parallel Computing and Optimization Techniques
2003 - Springer Science+Business Media | Lecture notes in computer science
Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler,
... its utility in this regard, we extend Featherweight Java with generic classes in the style of GJ (Bracha, Odersky, ...
Tópico(s): Advanced Software Engineering Methodologies
2001 - Association for Computing Machinery | ACM Transactions on Programming Languages and Systems
Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler,
... its utility in this regard, we extend Featherweight Java with generic classes in the style of GJ (Bracha, Odersky, ...
Tópico(s): Advanced Software Engineering Methodologies
1999 - Association for Computing Machinery | ACM SIGPLAN Notices
... is type-safe due to its design with Java's generic type parameters and thread-safe using Java's concurrent programming facilities. We evaluate some key ...
Tópico(s): Numerical Methods and Algorithms
2008 - Springer Science+Business Media | Lecture notes in computer science
Andrea Mattavelli, Alberto Goffi, Alessandra Gorla,
... our technique to Google Guava. Guava heavily uses Java generics, and the large number of classes, methods and ...
Tópico(s): Software Engineering Research
2015 - Springer Science+Business Media | Lecture notes in computer science
X. Pan, J. D. Hesketh, M. G. Huck,
Abstract OWSimu is a Java-based generic plant growth simulator. According to the principles of object-oriented design, Java classes were programmed for plant growth simulation as well as relevant input, output and user interfaces. The program was developed as a ...
Tópico(s): Crop Yield and Soil Fertility
2000 - Elsevier BV | Agricultural Systems
Alexandre Bergel, Lorenzo Bettini,
... Java and, in particular, it reviews limitations of Java generics against our proposal.
Tópico(s): Parallel Computing and Optimization Techniques
2011 - Springer Science+Business Media | Communications in computer and information science
... syntax of the core level, that is, the Java language), for instance, generic types as in Pizza and GJ, mixin classes ( ...
Tópico(s): Formal Methods in Verification
2001 - Springer Science+Business Media | Lecture notes in computer science
Mirko Viroli, Giovanni Rimassa,
... applies to C#, which, even though younger than Java, included generics
Tópico(s): Distributed systems and fault tolerance
2005 - EtH Zurich | The Journal of Object Technology
Atsushi Igarashi, Mirko Viroli,
... extending Featherweight GJ—an existing core calculus for Java with generics—with variant parametric types. By exploiting the intuitive ...
Tópico(s): Model-Driven Software Engineering Techniques
2002 - Springer Science+Business Media | Lecture notes in computer science
Patrick Eugster, K. R. Jayaram,
... rudimentary. This paper presents EventJava, an extension of Java with generic support for event-based distributed programming. EventJava seamlessly integrates events with methods, and broadcasting with unicasting of events; it supports reactions to combinations of events, and predicates guarding those reactions. EventJava is implemented as a framework to allow for customization of event semantics, matching, and dispatching. We present its implementation, based on a compiler transforming specific primitives to Java, along with a reference implementation of the framework. ...
Tópico(s): Software System Performance and Reliability
2009 - Springer Science+Business Media | Lecture notes in computer science