4036 search results - page 389 / 808 » Formal Methods |
170
click to vote
SAS
2004
Springer
16 years 4 days ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
165
Voted
SAS
2004
Springer
16 years 4 days ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
168
click to vote
SAS
2004
Springer
16 years 4 days 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...
167
click to vote
SAS
2004
Springer
16 years 4 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...
184
click to vote
SAS
2004
Springer
16 years 4 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-...