Results 1 to 10 of about 3,385,810 (267)
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
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
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
A Continental Assessment of the Drivers of Tropical Deforestation With a Focus on Protected Areas
Frontiers in Conservation Science, 2022 Deforestation contributes to global greenhouse gas emissions and must be reduced if the 1.5°C limit to global warming is to be realized. Protected areas represent one intervention for decreasing forest loss and aiding conservation efforts, yet there is ...
Steffen Fritz +12 more
doaj +1 more source
The Effects of Static Analysis for Dynamic Software Updating: An Exploratory Study
IEEE Access, 2020 Dynamic software updating (DSU) is the act of modifying software without stopping its execution. DSU is employed to preserve the high availability in the deployed software systems.
Babiker Hussien Ahmed +2 more
doaj +1 more source
Algebraic Program Analysis [PDF]
, 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 +1 more source
A Feedback System Supporting Students Approaching a High-Level Programming Course
Applied Sciences, 2022 This study analyzes the mistakes students are prone to make in programming and uses the GDB and Valgrind tools to implement dynamic analysis techniques for their eventual application to programs created by students.
Jong-Yih Kuo +3 more
doaj +1 more source