Results 11 to 20 of about 23,644,798 (245)
Static Analysis of Quantum Programs
In principle, the design and implementation of quantum programming languages are the same essential tasks as for conventional (classical) programming languages. High-level programming constructs and compilation tools are structurally similar in both cases.
Nicola Assolini +2 more
openaire +4 more sources
Debugging Static Analysis [PDF]
IEEE Transactions on Software Engineering, 2020 To detect and fix bugs and security vulnerabilities, software companies use static analysis as part of the development process. However, static analysis code itself is also prone to bugs. To ensure a consistent level of precision, as analyzed programs grow more complex, a static analysis has to handle more code constructs, frameworks, and libraries ...
Lisa Nguyen Quang Do +4 more
openaire +2 more sources
Static Analysis by Abstract Interpretation Collecting Types of Python Programs
, 2018 Software bugs are costly: they can have disastrous consequences on critical systems, but also on more common applications such as Web servers. It is thus interesting to possess tools helping developers detect those bugs before they ship software into ...
Monat, Raphaël
core +5 more sources
CoRR, 2022 The original unabridged version (with footnotes) of the Dr Dobb's Journal August 2012 cover ...
openaire +3 more sources
StaticFixer: From Static Analysis to Static Repair
CoRR, 2023 Static analysis tools are traditionally used to detect and flag programs that violate properties. We show that static analysis tools can also be used to perturb programs that satisfy a property to construct variants that violate the property. Using this insight we can construct paired data sets of unsafe-safe program pairs, and learn strategies to ...
Naman Jain +7 more
openaire +2 more sources
A Study on Optimal Power System Reinforcement Measures Following Renewable Energy Expansion
Energies, 2020 Renewable energy generation capacity in Korea is expected to reach about 63.8 GW by 2030 based on calculations using values from a power plan survey (Korea’s renewable energy power generation project plan implemented in September 2017) and the “3020 ...
Hyuk-Il Kwon +2 more
doaj +1 more source
Static Analysis of Steel Plates and Sections Retrofitted with FRP Plates by Finite Elements Modelling [PDF]
Journal of Structural and Construction Engineering, 2019 Nowadays the use of FRP composites for strengthening steel structures has been considered by researchers. In present study, The maximum deformation of steel plates and structural sections before and after strengthening by GFRP plates was evaluated by ...
Hossein Amoushahi, Mohammad Ghasemitabar
doaj +1 more source
Static Analysis of Android Programs [PDF]
Information and Software Technology, 2011 Context: Android is a programming language based on Java and an operating system for embedded and mobile devices, whose upper layers are written in the Android language itself. As a language, it features an extended eventbased library and dynamic inflation of graphical views from declarative XML layout files. A static analyzer for Android programs must
Payet, Etienne, Spoto, Fausto
openaire +7 more sources
The Journal of Logic and Algebraic Programming, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nataliya Skrypnyuk +2 more
openaire +3 more sources