Results 351 to 360 of about 34,628,233 (409)
Some of the next articles are maybe not open access.
Proceedings Conference on Software Maintenance 1992, 2003
The authors first discuss three methods of identifying objects. The first two were suggested by S.S. Liu and N. Wilde; the third method is one that is proposed in the present work and is based on the determination of the receiver of a procedure. The authors believe that the latter method is more natural and precise than the former two.
Panos E. Livadas, Prabal K. Roy
openaire +1 more source
The authors first discuss three methods of identifying objects. The first two were suggested by S.S. Liu and N. Wilde; the third method is one that is proposed in the present work and is based on the determination of the receiver of a procedure. The authors believe that the latter method is more natural and precise than the former two.
Panos E. Livadas, Prabal K. Roy
openaire +1 more source
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
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
International Journal on Software Tools for Technology Transfer (STTT), 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Graph Neural Networks in Program Analysis
Graph Neural Networks: Foundations, Frontiers, and Applications, 2022Miltiadis Allamanis, Microsoft Reserch
semanticscholar +1 more source
Program Analysis and Programming Languages for Security
2008The security of a software system is almost always retrofitted to an afterthought. When security problems arise, understanding and correcting them can be very challenging. On the one hand, the programanalysis and programming-languages research community has created numerous static and dynamic analysis tools for performance optimization and bug ...
openaire +1 more source
The analysis of Quicksort programs
Acta Informatica, 1977The Quicksort sorting algorithm and its best variants are presented and analyzed. Results are derived which make it possible to obtain exact formulas describing the total expected running time of particular implementations on real computers of Quicksort and an improvement called the median-of-three modification.
openaire +1 more source
Perspectives on program analysis
ACM Computing Surveys, 1996To guide the research efforts in the area of program analysis it is necessary to provide a taxonomy of the various approaches (identifying strengths and weaknesses), and to explore the links to programming languages and theoretical computer science.
openaire +1 more source
Transformational program analysis
Software Testing, Verification and Reliability, 1994AbstractThis paper describes an approach to the semantic analysis of procedural code. The techniques differ from those adopted in current static analysis tools such as MALPAS (Bramson, 1984) and SPADE (Clutterbuck and Carré, 1988) in two key respects: (1) A database is used, together with language‐specific and language‐independent data models, as a ...
openaire +1 more source
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 +2 more
openaire +1 more source
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 +2 more
openaire +1 more source
Analysis of Multithreaded Programs
2001The 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