861 search results - page 45 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
112
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
145
Voted
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
123
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...
135
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
255
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...