Results 31 to 40 of about 546,393 (311)
A Verifier for Region-Annotated Java Bytecodes
Electronic Notes in Theoretical Computer Science, 2005 AbstractThis paper presents a verifier for the memory-safe execution of extended Java bytecodes that support region-based memory management and explicit deallocation primitives. The verifier reads in region-annotated bytecodes that augment the standard Java bytecodes with instructions for creating and removing memory regions, allocating objects in ...
Sigmund Cherem, Radu Rugina
openaire +1 more source
NullAway: practical type-based null safety for Java [PDF]
ESEC/SIGSOFT FSE, 2019 NullPointerExceptions (NPEs) are a key source of crashes in modern Java programs. Previous work has shown how such errors can be prevented at compile time via code annotations and pluggable type checking.
Subarno Banerjee +2 more
semanticscholar +1 more source
Graphic Model for Shop Floor Simulation and Control in the Context of Industry 5.0
Applied Sciences, 2023 Industry 5.0 changes the paradigm of the current production model, with repercussions throughout the value chain, and opens up opportunities for new approaches that include reducing waste to optimize the use of the planet’s resources. This paper proposes
Nuno Fernandes +2 more
doaj +1 more source
Enforcing Secure Object Initialization in Java [PDF]
, 2010 Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not following this recommendation as high.
Hubert, Laurent +3 more
core +4 more sources
Understanding and Detecting Annotation-Induced Faults of Static Analyzers [PDF]
Proc. ACM Softw. Eng.Static analyzers can reason about the properties and behaviors of programs and detect various issues without executing them. Hence, they should extract the necessary information to understand the analyzed program well.
Huaien Zhang +3 more
semanticscholar +1 more source
Upgraded Thoth: Software for Data Visualization and Statistics
Analytics, 2023 Thoth is a free desktop/laptop software application with a friendly graphical user interface that facilitates routine data-visualization and statistical-calculation tasks for astronomy and astrophysical research (and other fields where numbers are ...
Russ R. Laher +16 more
doaj +1 more source
LO-MATCH: A semantic platform for matching migrants' competences with labour market's needs [PDF]
, 2012 Citizens' mobility and employability are receiving ever more attention by the European legislation. Various instruments have been defined to overcome lexical and semantic differences in the descriptions of qualifications, résumés and job profiles ...
Demartini, Claudio Giovanni +2 more
core +1 more source
Investigating the Limitations of Java Annotations for Input Validation [PDF]
2010 International Conference on Availability, Reliability and Security, 2010 Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and verification to security. In this paper we discuss our experiences in implementing an annotation framework for input validation purposes.
Federico Mancini 0001 +2 more
openaire +3 more sources
On Verifying Resource Contracts using Code Contracts
, 2014 In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints.
Castaño, Rodrigo +4 more
core +4 more sources
Accessing the SEED Genome Databases via Web Services API: Tools for Programmers
BMC Bioinformatics, 2010 Background The SEED integrates many publicly available genome sequences into a single resource. The database contains accurate and up-to-date annotations based on the subsystems concept that leverages clustering between genomes and other clues to ...
Vonstein Veronika +7 more
doaj +1 more source