TFM
2004
Springer
14 years 24 days 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 24 days 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 24 days 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 24 days 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 24 days 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 24 days ago
2004
Springer
SAS
2004
Springer
14 years 24 days ago
2004
Springer
SAS
2004
Springer
14 years 24 days ago
2004
Springer
SAS
2004
Springer
14 years 24 days 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 24 days 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...