23 search results - page 5 / 5 » ILC: A Foundation for Automated Reasoning About Pointer Prog... |
109
click to vote
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
195
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
122
click to vote
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...