Results 1 to 10 of about 9,895,757 (306)
Using Program Synthesis for Program Analysis [PDF]
, 2015 In this paper, we identify a fragment of second-order logic with restricted quantification that is expressive enough to capture numerous static analysis problems (e.g.
David, Cristina +2 more
core +8 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
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 +4 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
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
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
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 +2 more sources