Results 11 to 20 of about 34,628,233 (409)
Algebraic Program Analysis [PDF]
International Conference on Computer Aided Verification, 2021 This 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, T. Reps, John Cyphert
semanticscholar +2 more sources
An analysis of programming environments [PDF]
Proceedings of the 20th annual Southeast regional conference on - ACM-SE 20, 1982 Programming environments consist of those tools and techniques that are applied throughout the software life cycle. Recent interest in programming environments has existed in industry, government, and academia. This paper is a synopsis of five graduate software engineering course projects in which programming environments were analyzed.
Joseph E. Urban +5 more
openalex +2 more sources
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
openaire +9 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
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
Journal of Applied Crystallography, 2021 CrystalExplorer is a native cross-platform program for the visualization and investigation of molecular crystal structures.
Peter R. Spackman +6 more
semanticscholar +1 more source