Results 341 to 350 of about 37,485,858 (384)

Detecting Code Comment Inconsistencies using LLM and Program Analysis

SIGSOFT FSE Companion
Code comments are the most important medium for documenting program logic and design. Nevertheless, as modern software undergoes frequent updates and modifications, maintaining the accuracy and relevance of comments becomes a labor-intensive endeavor ...
Yichi Zhang
semanticscholar   +1 more source

Learning Abstraction Selection for Bayesian Program Analysis

Proc. ACM Program. Lang.
We propose a learning-based approach to select abstractions for Bayesian program analysis. Bayesian program analysis converts a program analysis into a Bayesian model by attaching probabilities to analysis rules.
Yifan Zhang, Yuanfeng Shi, Xin Zhang
semanticscholar   +1 more source

A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis

ACM Transactions on Programming Languages and Systems, 2019
We present a new machine-learning algorithm with disjunctive model for data-driven program analysis. One major challenge in static program analysis is a substantial amount of manual effort required for tuning the analysis performance.
Minseok Jeon, S. Jeong, S. Cha, Hakjoo Oh   +3 more
semanticscholar   +1 more source

Subformula Caching for Model Counting and Quantitative Program Analysis

International Conference on Automated Software Engineering, 2019
Quantitative program analysis is an emerging area with applications to software reliability, quantitative information flow, side-channel detection and attack synthesis.
William Eiers, Seemanta Saha, Tegan Brennan, T. Bultan   +3 more
semanticscholar   +1 more source

Program partition and logic program analysis

IEEE Transactions on Software Engineering, 1995
A program partition scheme for stratified programs introduced by Apt et al. (1988) is used to study efficient computation of logic programs. We consider three types of program partitions and their corresponding graph representations: 1) the natural partition, 2) stratified partitions, and 3) the reduced partition.
openaire   +1 more source

Graph Neural Networks in Program Analysis

Graph Neural Networks: Foundations, Frontiers, and Applications, 2022
Miltiadis Allamanis, Microsoft Reserch
semanticscholar   +1 more source

Automating program analysis

Journal of the ACM, 1988
The first part of the paper shows that previous theoretical work on the semantics of probabilistic programs (Kozen) and on the correctness of performance annotated programs (Ramshaw) can be used to automate the average-case analysis of simple programs containing assignments, conditionals, and loops.
Hickey, Timothy, Cohen, Jacques
openaire   +2 more sources

Experimental program analysis

Information and Software Technology, 2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis techniques can be formulated as formal experiments. This article reports the results of research exploring this suggestion.
Joseph R. Ruthruff, Sebastian Elbaum, Gregg Rothermel   +2 more
openaire   +1 more source

Data analysis using R programming

2018
Beginning RR is an open-source, freely available, integrated software environment for data manipulation, computation, analysis, and graphical display. The R environment consists of *a data handling and storage facility, *operators for computations on arrays and matrices, *a collection of tools for data analysis *graphical capabilities for analysis and ...
openaire   +2 more sources

Mechanical program analysis

Communications of the ACM, 1975
One means of analyzing program performance is by deriving closed-form expressions for their execution behavior. This paper discusses the mechanization of such analysis, and describes a system, Metric, which is able to analyze simple Lisp programs and produce, for example, closed-form expressions for their running time expressed in terms of size of ...
openaire   +1 more source