Results 11 to 20 of about 3,385,810 (267)
Gamifying Program Analysis [PDF]
, 2015 Abstract interpretation is a powerful tool in program verification. Several commercial or industrial scale implementations of abstract interpretation have demonstrated that this approach can verify safety properties of real-world code. However, using abstract interpretation tools is not always simple.
Fava, D. +4 more
openaire +3 more sources
CoRR, 2023 2LS ("tools") is a verification tool for C programs, built upon the CPROVER framework. It allows one to verify user-specified assertions, memory safety properties (e.g. buffer overflows), numerical overflows, division by zero, memory leaks, and termination properties.
Daniel Kroening +3 more
openaire +2 more sources
A Cross-Prefetcher Schedule Optimization Methodology
IEEE Access, 2022 Prefetching offers the potential to significantly improve performance by speculatively loading application data so that it is available before it is needed. By their very nature, prefetching techniques are application behavior dependant.
Razvan Nitu +2 more
doaj +1 more source
The Influence of Alias and References Escape on Java Program Analysis [PDF]
International Journal of Networked and Distributed Computing (IJNDC), 2015 The alias and references escape are often used in Java programs. They bring much convenience to the developers, but, at the same time, they also give adverse affects on the data flow and control flow of program during program analysis.
Shengbo Chen, Dashen Sun, Huaikou Miao
doaj +1 more source
Adult Education Research in Poland and Germany on the European Level: Two Sleeping Beauties?
Rocznik Andragogiczny, 2015 This paper analyzes Polish and German papers contributed to conferences of the European research society ESREA. The method “program analysis” is used.
Bernd Käpplinger
doaj +1 more source
European Journal for Research on the Education and Learning of Adults, 2018 The paper analyses mainly non-vocational courses offered by a sample of 47 out of the approximately 900 public adult education centres (Volkshochschule - VHS) in Germany.
Bernd Käpplinger
doaj +1 more source
IEEE Access, 2020 Tree comparison is an important method in various areas. In order to compare class hierarchy in object-oriented languages, there is a need to compare trees in the context of the hierarchy changes.
Danijel Mlinaric +2 more
doaj +1 more source
Re_Trans: Combined Retrieval and Transformer Model for Source Code Summarization
Entropy, 2022 Source code summarization (SCS) is a natural language description of source code functionality. It can help developers understand programs and maintain software efficiently.
Chunyan Zhang +5 more
doaj +1 more source
GDBMiner: Mining Precise Input Grammars on (Almost) Any System [PDF]
Leibniz Transactions on Embedded SystemsIf one knows the input language of the system to be tested, one can generate inputs in a very efficient manner. Grammar-based fuzzers, for instance, produce inputs that are syntactically valid by construction.
Eisele, Max +3 more
doaj +1 more source
European Journal for Research on the Education and Learning of Adults, 2015 Adult education research is frequently an own subject of research. Such research is often focused on the analysis of journals. This paper will instead analyse triennial research conferences of the European Society for the Research on Adults (ESREA ...
Bernd Köpplinger
doaj +1 more source