Tej Chaged
YOU?
Author Swipe
View article: Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas Open
This paper lays a practical foundation for using abstract interpretation with an abstract domain that consists of sets of quantified first-order logic formulas. This abstract domain seems infeasible at first sight due to the complexity of …