Login / Signup
Coupling catch clauses with local declarations.
Paola Giannini
Marco Servetto
Elena Zucca
Published in:
FTfJP@ECOOP (2016)
Keyphrases
</>
first order logic
horn clauses
search space
optimal solution
consequence finding
boolean formulae
web services
search algorithm
background knowledge
clause learning
prime implicates
real world
data mining
lower bound