Results 101 to 110 of about 3,154 (147)
KA-SB: from data integration to large scale reasoning. [PDF]
BMC Bioinformatics, 2009 Roldán-García Mdel M +5 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Verification of Java Programs with Generics
Lecture Notes in Computer Science, 2008Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generics that were introduced in Java 5. Generics are very important and useful when the collection framework (lists, sets, hash tables etc.) is used.
Kurt Stenzel +2 more
exaly +2 more sources
Adoption and use of Java generics
Empirical Software Engineering, 2012Support for generic programming was added to the Java language in 2004, representing perhaps the most significant change to one of the most widely used programming languages today. Researchers and language designers anticipated this addition would relieve many long-standing problems plaguing developers, but surprisingly, no one has yet measured how ...
Chris Parnin, Emerson Murphy-Hill
exaly +2 more sources
ACM SIGPLAN Notices, 2004
Come JDK 1.5 – we have the Java Generics, supposed to make type-safe container based programming a reality to the programmers. This paper tries to analyze the implementation of the Java Generics and its comparison with the templates of C++. In C++, templates provide one of the vehicles of generic programming – class templates provide support for type ...
exaly +2 more sources
Come JDK 1.5 – we have the Java Generics, supposed to make type-safe container based programming a reality to the programmers. This paper tries to analyze the implementation of the Java Generics and its comparison with the templates of C++. In C++, templates provide one of the vehicles of generic programming – class templates provide support for type ...
exaly +2 more sources
A generic type system for featherweight Java
Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021We introduce a generic type system for Featherweight Java (FJ) that is parametrized with a monad-like structure, and prove a uniform soundness theorem. Its instances include some region type systems studied by Martin Hofmann et al. as well as a new one that performs more precise analysis of trace-based properties.
Ulrich Schöpp, Chuangjie Xu
openaire +1 more source
Specializing generic Java data structures
Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2021The Collections framework is an essential utility in virtually every Java application. It offers a set of fundamental data structures that exploit Java Generics and the Object type in order to enable a high degree of reusability. Upon instantiation, Collections are parametrized by the type they are meant to store.
Dan Graur, Rodrigo Bruno, Gustavo Alonso
openaire +1 more source