3342 search results - page 196 / 669 » Automating Abstract Interpretation |
EWCBR
2008
Springer
15 years 1 months ago
2008
Springer
ers in brackets denote the page numbers of the abstracts. If several authors are present then the one presenting is marked by an asterisk. Invited speakers Invited speakers Silbers...
FLOPS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...
105
click to vote
DLOG
2001
15 years 26 days ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
CSL
2008
Springer
15 years 17 days ago
2008
Springer
Abstract. This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragmen...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...