Results 301 to 310 of about 519,644 (350)

PAL: Exploiting Java Annotations for Parallelism

2007
We discuss how Java annotations can be used to provide the meta information needed to automatically transform plain Java programs into suitable parallel code that can be run on workstation clusters, networks and grids. Programmers are only required to decorate the methods that will eventually be executed in parallel with standard Java 1.5 annotations ...
DANELUTTO, MARCO, MARCELO PASIN, VANNESCHI, MARCO, DAZZI, PATRIZIO, LUIGI PRESTI, DOMENICO LAFORENZA   +5 more
openaire   +4 more sources

The Extension of Java Annotated Concurrency Specification

2009 International Forum on Computer Science-Technology and Applications, 2009
JAC is an extended Java that introduces a higher level of concurrency, hiding threads and separating thread synchronization from application logic in a declarative fashion. It attracts people’s attention as soon as it appears. But its present version could not support the sharing class static attribute of class object.
Liu Ruixiang, Liu Wei, Zhu Hong
openaire   +1 more source

Next Steps in LLM-Supported Java Verification

2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)
Recent work has shown that Large Language Models (LLMs) are not only a suitable tool for code generation but also capable of generating annotation-based code specifications.
Samuel Teuber, Bernhard Beckert
semanticscholar   +1 more source

Static checking of safety critical Java annotations

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain the behavior of programs written against it. This paper describes and motivates the design of these annotations and the rules used to check statically that programs respect ...
Daniel Tang, Ales Plsek, Jan Vitek
openaire   +1 more source

Automated translation of VDM to JML-annotated Java

International Journal on Software Tools for Technology Transfer, 2017
When a system specified using the Vienna Development Method (VDM) is realised using code-generation, no guarantees are currently made about the correctness of the generated code. In this technical report, we improve code-generation of  VDM models by taking contract-based elements such as invariants and pre- and postconditions into account during the ...
Tran-Jørgensen, Peter W.V., Larsen, Peter Gorm, Leavens, Gary T.   +2 more
openaire   +3 more sources

Mining Annotation Usage Rules of Enterprise Java Frameworks

2021
Application Programming Interfaces (APIs) allow developers to reuse existing functionality without knowing the implementation details. However, developers might make mistakes in using APIs, which are known as API misuses. One way to detect and prevent API misuses is to encode usage specifications in static checkers that automatically verify the ...
openaire   +1 more source

Java Annotated Concurrency Based on the Concurrent Package

2006 Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06), 2006
JAC is an extended Java that introduces a higher level of concurrency, hiding threads and separating thread synchronization from application logic in a declarative fashion. java.util.concurrent package provides some excellent and powerful concurrent components.
Hong Zhu, Zhaolin Yin, Ying Ding
openaire   +1 more source

Points-to analysis for Java using annotated constraints

Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2001
The goal of point-to analysis for Java is to determine the set of objects pointed by a reference variable or a reference object field. This information has a wide variety of client applications in optimizing compilers and software engineering tools. In this paper we present a point-to analysis for Java based on Andersen's point-to analysis
Atanas Rountev, Ana Milanova, Barbara G. Ryder   +2 more
openaire   +1 more source

Annotation-Based Static Analysis for Personal Data Protection

Privacy and Identity Management, 2019
This paper elaborates the use of static source code analysis in the context of data protection. The topic is important for software engineering in order for software developers to improve the protection of personal data during software development.
Kalle Hjerppe, Jukka Ruohonen, Ville Leppänen   +2 more
semanticscholar   +1 more source

Integrating Java and Prolog using Java 5.0 generics and annotations

2007
Although 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