Results 1 to 10 of about 37,423,305 (235)
Program Synthesis for Program Analysis [PDF]
ACM Transactions on Programming Languages and Systems, 2018 In this article, we propose a unified framework for designing static analysers based on program synthesis . For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to model numerous static analysis problems (e.g., safety proving,
Cristina David +3 more
core +14 more sources
Algebraic Program Analysis [PDF]
International Conference on Computer Aided Verification, 2021 AbstractThis paper is a tutorial on algebraic program analysis. It explains the foundations of algebraic program analysis, its strengths and limitations, and gives examples of algebraic program analyses for numerical invariant generation and termination analysis.
Zachary Kincaid +2 more
openaire +2 more sources
A Survey on Software Defect Prediction Using Deep Learning
Mathematics, 2021 Defect prediction is one of the key challenges in software development and programming language research for improving software quality and reliability.
Elena N. Akimova +6 more
doaj +1 more source
A Potential Framework for Allocating National Park Service Budgets
Frontiers in Forests and Global Change, 2022 The US Department of Interior, including the National Park Service (NPS), has interest in developing a national fire budgeting process that reflects and promotes program (fuels and preparedness) efficiencies while being transparent, fair, stable, and ...
Douglas B. Rideout +3 more
doaj +1 more source
Conditional Quantitative Program Analysis [PDF]
IEEE Transactions on Software Engineering, 2022 Standards for certifying safety-critical systems have evolved to permit the inclusion of evidence generated by program analysis and verification techniques. The past decade has witnessed the development of several program analyses that are capable of computing guarantees on bounds for the probability of failure.
Mitchell Gerrard +3 more
openaire +3 more sources
The System for Transforming the Code of Dataflow Programs into Imperative
Моделирование и анализ информационных систем, 2021 Functional dataflow programming languages are designed to create parallel portable programs. The source code of such programs is translated into a set of graphs that reflect information and control dependencies.
Vladimir S. Vasilev +2 more
doaj +1 more source
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis
Proc. ACM Program. Lang., 2022 Imprecision is inherent in any decidable (sound) approximation of undecidable program properties. In abstract interpretation this corresponds to the release of false alarms, e.g., when it is used for program analysis and program verification.
Marco Campion +2 more
semanticscholar +1 more source
Statically Analyzing the Energy Efficiency of Software Product Lines
Journal of Low Power Electronics and Applications, 2021 Optimizing software to become (more) energy efficient is an important concern for the software industry. Although several techniques have been proposed to measure energy consumption within software engineering, little work has specifically addressed ...
Marco Couto +2 more
doaj +1 more source
Zero Knowledge Static Program Analysis
Conference on Computer and Communications Security, 2021 Static program analysis tools can automatically prove many useful properties of programs. However, using static analysis to prove to a third party that a program satisfies a property requires revealing the program's source code.
Zhiyong Fang +3 more
semanticscholar +1 more source
Gradual Program Analysis [PDF]
, 2020 Dataflow analysis and gradual typing are both well-studied methods to gain information about computer programs in a finite amount of time. The gradual program analysis project seeks to combine those two techniques in order to gain the benefits of both ...
Bader Johannes +2 more
core +2 more sources