2 search results - page 1 / 1 » Static Analysis of Schema-Mappings Ensuring Oblivious Termin... |
114
Voted
ICDT
2010
ACM
16 years 20 days ago
2010
ACM
226
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...