TFM
2004
Springer
14 years 4 months ago
2004
Springer
This position paper aims to address most of the “challenges” suggested by the conference’s CFP plus a few others. The style is deliberately informal and colloquial, occasiona...
TFM
2004
Springer
14 years 4 months ago
2004
Springer
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
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...