Results 281 to 290 of about 546,393 (311)

@PT: Unobtrusive parallel programming with Java annotations

Concurrency and Computation: Practice and Experience, 2018
SummaryParallel computing techniques have been supported by programming languages in two major ways: either library‐based APIs or extended language constructs. Library‐based features are portable and offer fine‐grained control on parallelization details.
Mostafa Mehrabi, Nasser Giacaman, Oliver Sinnen   +2 more
openaire   +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

Mutating code annotations: An empirical evaluation on Java and C# programs

Science of Computer Programming, 2020
Mutation testing injects code changes to check whether tests can detect them. Mutation testing tools use mutation operators that modify program elements such as operators, names, and entire statements. Most existing mutation operators focus on imperative
Pedro Pinheiro, J. C. Viana, Márcio Ribeiro, Leo Fernandes, F. Ferrari, Rohit Gheyi, B. Neto   +6 more
semanticscholar   +1 more source

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

Propagation of JML non-null annotations in Java programs

Proceedings of the 4th international symposium on Principles and practice of programming in Java - PPPJ '06, 2006
Development of high quality code is notably difficult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the quality of produced software and help managers to ensure that the product is ready for the market.
Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz   +3 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

Annotating Java class files with virtual registers for performance

Concurrency: Practice and Experience, 2000
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence and minimized consumption of network bandwidth. However, as in all interpreted virtual machines, performance does not match that of code generated for the target machine.
Joel Jones, Samuel N. Kamin
openaire   +1 more source

Unobtrusive Support for Asynchronous GUI Operations with Java Annotations

2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2018
The complexities involved in parallel programming encourage frameworks to detach programmers from these concerns via higher-level abstraction. The high-performance nature of parallel computing drifts the focus of these programming environments towards facilitating and safeguarding faster computations.
Mostafa Mehrabi, Nasser Giacaman, Oliver Sinnen   +2 more
openaire   +1 more source

Java unit annotations for units-of-measurement error prevention

2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC), 2018
The common practice of representing quantities (values with units, such as 10 kg) in program variables that store only the values, with units implicit or separate, is a significant contributor to serious errors. This practice is often forced upon a programmer by the lack of convenient methods for managing units.
Mark E. Royer, Sudarshan S. Chawathe
openaire   +1 more source

A Java dialect free of data races and without annotations

Proceedings International Parallel and Distributed Processing Symposium, 2004
fWe introduce a dialect of Java, JShield, for concurrent object oriented programming, whose primary design goal is robustness. JShield preserves the Java syntax and the semantics of sequential Java programs. It modifies the semantics of concurrent programs to completely avoid data races without relying on the programmer ability, and without requiring ...
openaire   +1 more source