Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

Search 250 million research papers

Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.

About 10,000 papers for “Program analysis”

Program analysis.

United States. Department of Health, Education, and Welfare. Office of the Assistant Secretary for Planning and Evaluation. · The Journal of the Abraham Lincoln Association

Cited by 0Open access

Program analysis

Liu Sheng, Jian Zhang · 2011

We propose to combine symbolic execution with volume computation to compute the exact execution frequency of program paths and branches. Given a path, we use symbolic execution to obtain the path condition which is a set of constraints; then we use volume computation to obtain the size of the solution space for the constraints. With such a methodology and supporting tools, we can decide which paths in a program are executed more often than the others. We can also generate certain test cases that are related to the execution frequency, e.g., those covering cold paths.

Cited by 13

Analysis program

Jiang, Yong · Figshare · 2023

original program during analysis the data

Cited by 0Open access

Analysis program

Jiang, Yong · Figshare · 2023

original program during analysis the data

Cited by 0Open access

Program analysis

Patrick Cousot · ACM SIGPLAN Notices · 1997

Program analysis should evolve from a disparate collection of methods and algorithms to a mature discipline founded on a well-established methodology. Abstract interpretation can be used as a basis for such a methodology.

Cited by 4Open access

PROGRAM ANALYSIS

JAMA · 1961

THE discerning doctor, who utilizes medical meetings to further his continuing medical education, deserves the thoughtful consideration of program planners during the development of a scientific program. Each AMA Scientific Program is fashioned with the continuing medical education of its members in mind and the 1961 Annual Program is no exception. A great amount of careful thought, effort, and planning goes into the AMA's over-all program. The assembly in one place of this large dedicated group of medical scientists and instructors provides you with an educational opportunity which is available only once a year. The planning for this particular (1961) program started early in 1959 and has continued intensively ever since. The considered opinions of those in the practice of the arts and sciences of medicine and surgery, as well as the allied medical sciences, were sought during the planning stages and their recommendations incorporated into the program. It will

Cited by 0

Program Logic and Program Analysis

Kohei Honda, Nobuko Yoshida, Martin Berger · 2008

One of the central merits of compositional program logics [18] as a foundation of software engineering is their potential ability to describe a large class of properties of programs relative to a chosen notion of observability. One open issue in achieving such descriptive power has been the lack of a precise logical treatment of pragmatically significant language features such as higher-order procedures, expressions with side effects and shared mutable data structures.

Cited by 0

Experimental program analysis: A new program analysis paradigm

Joseph R. Ruthruff, Sebastian Elbaum, Gregg Rothermel et al. · Insecta mundi · 2006

Program analysis techniques analyze software systems to collect, deduce, or infer information about them, which can then be used in software-engineering related tasks. Recent research has suggested that a new form of program analysis technique might be created by incorporating characteristics of experimentation into analyses. This paper reports the results of research exploring this suggestion. Building on background in classical experimentation, we provide descriptive and operational definitions of experimental program analysis, illustrate them by examples, and describe several differences between experimental program analysis and classical experimentation. We present three studies that show how the use of the paradigm can help researchers identify limitations of analysis techniques, improve existing experimental program analysis techniques, and create new experimental program analysis techniques by adapting existing non-experimental techniques.

Cited by 4Open access

Experimental program analysis: A new paradigm for program analysis

Joseph R. Ruthruff · 2006

Program analysis techniques are used by software engineers to deduce and infer targeted characteristics of software systems for tasks such as testing, debugging, maintenance, and program comprehension. Recently, some program analysis techniques have been designed to leverage characteristics of traditional experimentation in order to analyze software systems. We believe that the use of experimentation for program analysis constitutes a new program analysis paradigm: experimental program analysis. This research seeks to accomplish four goals: to precisely define experimental program analysis, to provide a means for classifying experimental program analysis techniques, to identify existing experimental program analysis techniques in the research literature, and to enhance the use of experimental program analysis by improving existing, and by creating new, experimental program analysis techniques.

Cited by 0

PROGRAM 624A. MAINTENANCE ANALYSIS PROGRAM SPECIFICATION.

Defense Technical Information Center (DTIC) · 1962

This specification establishes the detailed Maintenance Analysis Program for Program 624A, which is conposed of the following functions: (1) the preparation and maintenance of integrated maintenance analyses Electronic Accounting Methods (EAM) and manual reports; (2) the analysis of data furnished by agencies other than associate contractors; (3) the verification of overall system maintenance compatibility through study of the maintenance analysis data furnished by the other associate contractors; (4) the integration of self-generated maintenance analysis data with that provided by the other associate contractors and the submission of the whole to SSD/Aerospace and/or other affected contractors or agencies upon request; (5) participation in meetings called by SSD/Aerospace for the discussion of maintenance analysis matters; and (6) the convening and conduct of meetings with other associate contractors as necessary to the accomplishment of the Program 624A Maintenance Analysis Program.

Cited by 0

AUTOMATIC PROGRAM ANALYSIS.

Russell,Edward C. , Jr · Defense Technical Information Center (DTIC) · 1969

The report presents a graph-model of computer programs and then uses this model to develop tools for analysis of programs executing on single and multiprocessors. The tools for analysis include a new method of simplifying program structures through triangularization of the Boolean connection matrix representing the program, integration of execution-time measurement statistics, and post execution display of detailed analysis of critical program segments (those which constitute the major portion of the program both in terms of frequency of execution and execution time). Once the program has been modeled for a single processor, analysis is performed to detect parallelism inherent in the program. A graphical display of potential parallelism, together with detected 'bottlenecks' is presented for further analysis by the programmer. The entire system is designed to be interactive and to act as a guide for the programmer in optimizing his program, whether on a single or multi-processor. Examples of several significant programs including numerical weather prediction, circuit design and Boolean minimization, are completely analyzed, starting from a working program for each written in the FORTRAN language. (Author)

Cited by 4

Program change analysis

Korel, Bogdan · Digital library of Zielona Gora (University of Zielona Góra) · 1993

Software maintenance involves making changes to a program to correct errors, to improve efficiency, or to extend the program functionality. For large programs, understanding the influence of program changes can be very aggravating. Program change analysis is a method of analyzing the differences between the original program and its modified version in order to determine the scope and effect of a modification.

Cited by 0Open access