Login / Signup
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types.
Alejandro Serrano
Pedro López-García
Manuel V. Hermenegildo
Published in:
CoRR (2014)
Keyphrases
</>
logic programs
logic programming
resource usage
answer set programming
stable models
data analysis
answer sets
abstract interpretation
fixpoint
database
optimal solution
quality of service
database design
deductive databases
resource management
static analysis