Results 291 to 300 of about 546,393 (311)
Some of the next articles are maybe not open access.
Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages
IEEE Symposium on Security and Privacy, 2021Jian Xiang, Stephen Chong
semanticscholar +1 more source
Integrating Java and Prolog using Java 5.0 generics and annotations
2007Although object-oriented languages are nowadays the mainstream for application development, several research contexts suggest that a multi-paradigm approach is worth pursuing. In particular, a declarative, logic-based paradigm could fruitfully add functionalities related to intelligence, adaptivity, and conciseness in expressing algorithms.
CIMADAMORE, MAURIZIO, VIROLI, MIRKO
openaire +1 more source
Extended static checking for Java
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2002Greg Nelson
semanticscholar +1 more source
PAL: high level parallel programming with Java annotations
2006We present a new programming approach based on user annotations that can be used to transform plain Java programs into suitable parallel code that can be run on workstation clusters, networks and grids. The only user responsibility consists in decorating the methods that will eventually be executed in parallel with standard Java 1.5 annotations.
DANELUTTO, MARCO +5 more
openaire +3 more sources
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
European Conference on Object-Oriented Programming, 2007Patrice Chalin, Perry R. James
semanticscholar +1 more source
Interactive Back-annotation of Worst-case Execution Time Analysis for Java Microprocessors
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2007T. Harmon, R. Klefstad
semanticscholar +1 more source
A Java code annotation approach for model checking software systems
ACM Symposium on Applied Computing, 2007Glauber Ferreira +2 more
semanticscholar +1 more source
Soot (poster session): a Java bytecode optimization and annotation framework
Conference on Object-Oriented Programming Systems, Languages, and Applications, 2000Raja Vallée-Rai +4 more
semanticscholar +1 more source