Results 231 to 240 of about 3,385,810 (267)

Program analysis tools

International Journal on Software Tools for Technology Transfer (STTT), 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

An analysis of programming environments

Proceedings of the 20th annual Southeast regional conference on - ACM-SE 20, 1982
Programming environments consist of those tools and techniques that are applied throughout the software life cycle. Recent interest in programming environments has existed in industry, government, and academia. This paper is a synopsis of five graduate software engineering course projects in which programming environments were analyzed.
Joseph E. Urban, Lucinda Edmonds, David Holland, Barry King, Manijeh Moghis, Hugo Valencia   +5 more
openaire   +2 more sources

Longitudinal program analysis

ACM SIGSOFT Software Engineering Notes, 2002
The field of program analysis has made significant improvements recently, but still faces some major obstacles. In this talk I argue that considering analysis as applying longitudinally across the multitude of versions created during a program's lifetime -rather than to a given instance of a program - shows significant promise in overcoming some of ...
openaire   +2 more sources

Parametrizing Program Analysis

2014 Theoretical Aspects of Software Engineering Conference, 2014
A parametric analysis is an analysis whose input and output are parametrized with a number of parameters which can be instantiated to abstract properties after analysis is completed. We use Cousot and Cousot's Cardinal power domain to capture dependencies of analysis output on its input and present a method for obtaining parametric analyses from non ...
openaire   +2 more sources

Analysis of Boolean Programs

2013
Boolean programs are a popular abstract domain for static-analysis-based software model checking. Yet little is known about the complexity of model checking for this model of computation. This paper aims to fill this void by providing a comprehensive study of the worst-case complexity of several basic analyses of Boolean programs, including ...
Patrice Godefroid, Mihalis Yannakakis
openaire   +2 more sources

Analysis of Multithreaded Programs

2001
The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structuring mechanism and to support efficient parallel computations. This paper surveys research in analysis for multithreaded programs, focusing on ways to improve the efficiency of ...
openaire   +1 more source

On program analysis

Information Processing Letters, 1976
Michael A. Hennell, Martin R. Woodward, David Hedley   +2 more
openaire   +1 more source

Functional programming analysis

Journal of Systems and Software, 1981
An analysis of several routines from a large real time software system, using recently developed functional programming theory, has shown that the functional capabilities of the routines can be constructed from analysis of the code text. This analysis also showed that the number of distinct functions computed by a program is much smaller than generally
openaire   +2 more sources

The gestalt analysis of programs

1987
A study has been performed concerning the possibility of Gestalt perception of programs by computers. The answer focusses on the impact of the analysis technique to program understanding, its implication on the software development process and on the price of the perception technique by sketching the necessary technical solution and its complexity.
openaire   +2 more sources

Analysis of programs

Proceedings of the 1st annual computer science conference on Program information abstracts - CWC '73, 1973
openaire   +1 more source