Results 211 to 220 of about 3,385,810 (267)
, 2016 Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the 2006 international symposium on Software testing and analysis, 2006
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that a new form of program analysis technique can be created by incorporating characteristics of experimentation into analyses. This paper reports the results of research exploring this suggestion.
Ruthruff, Joseph R. +2 more
openaire +3 more sources
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that a new form of program analysis technique can be created by incorporating characteristics of experimentation into analyses. This paper reports the results of research exploring this suggestion.
Ruthruff, Joseph R. +2 more
openaire +3 more sources
Artificial Intelligence, 1976
In order to examine the possibilities of using a computer as an aid to teaching programming, a prototype intelligent program analyzer has been constructed. Its design assumes that a system cannot analyze a program unless it can "understand" it; understanding being based on a knowledge of what must be accomplished and how code is used to express the ...
openaire +2 more sources
In order to examine the possibilities of using a computer as an aid to teaching programming, a prototype intelligent program analyzer has been constructed. Its design assumes that a system cannot analyze a program unless it can "understand" it; understanding being based on a knowledge of what must be accomplished and how code is used to express the ...
openaire +2 more sources
ACM SIGPLAN Notices, 1996
Program Analysis is largely based on generic theories that have the potential for toolmaking. Intensive research should go into the still open problems faced by the creators of program analysis generators. To date, the more generic method of abstract interpretation has advantages for toolmaking compared to type inference based and set based analysis ...
openaire +2 more sources
Program Analysis is largely based on generic theories that have the potential for toolmaking. Intensive research should go into the still open problems faced by the creators of program analysis generators. To date, the more generic method of abstract interpretation has advantages for toolmaking compared to type inference based and set based analysis ...
openaire +2 more sources
Program partition and logic program analysis
IEEE Transactions on Software Engineering, 1995A 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
The analysis of programming structure
ACM SIGACT News, 1997The standard course in theory of computation introduces students to Turing machines and computability theory. This model prescribes what can be computed, and what cannot be computed, but the negative results have far more consequences.
John C. Mitchell, Jon G. Riecke
openaire +1 more source
Communications of the ACM, 1976
Most present systems for verification of computer programs are incomplete in that intermediate inductive assertions must be provided manually by the user, termination is not proven, and incorrect programs are not treated. As a unified solution to these problems, this paper suggests conducting a logical analysis of programs by using invariants which ...
Shmuel Katz, Zohar Manna
openaire +3 more sources
Most present systems for verification of computer programs are incomplete in that intermediate inductive assertions must be provided manually by the user, termination is not proven, and incorrect programs are not treated. As a unified solution to these problems, this paper suggests conducting a logical analysis of programs by using invariants which ...
Shmuel Katz, Zohar Manna
openaire +3 more sources
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