2947 search results - page 158 / 590 » Analyzing Program Analyses |
151
click to vote
ICLP
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
179
click to vote
VMCAI
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
160
click to vote
IPPS
2006
IEEE
16 years 8 days ago
2006
IEEE
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...
136
click to vote
ITICSE
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we describe our Computer Science Program Assessment (COMPASS) project. COMPASS uses open-source software tools to support the development and analysis of course por...
169
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...