2586 search results - page 190 / 518 » Automatic Abstraction for Congruences |
193
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
164
click to vote
FDL
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
170
click to vote
ADBIS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Automatically choosing suitable native storage structures for XML documents arriving at the XML DBMS is a challenging task for its storage manager. While some of the crit...
171
click to vote
AE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We aim to construct an automatic system for the discovery of collision-based universal cellular automata that simulate Turing machines in their space-time dynamics using ...
190
click to vote
CADE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...