SAS
2004
Springer
14 years 5 months ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
SAS
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
SAS
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
SAS
2004
Springer
14 years 5 months ago
2004
Springer
SAS
2004
Springer
14 years 5 months ago
2004
Springer
SAS
2004
Springer
14 years 5 months ago
2004
Springer
SAS
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
SAS
2004
Springer
14 years 5 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
SAS
2004
Springer
14 years 5 months ago
2004
Springer
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper, we discuss the potential impact and resear...
SAS
2004
Springer
14 years 5 months ago
2004
Springer
