Sign in
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types.
Alejandro Serrano
Pedro López-García
Manuel V. Hermenegildo
Published in:
Theory Pract. Log. Program. (2014)
Keyphrases
</>
logic programs
logic programming
answer set programming
answer sets
stable models
abstract interpretation
resource usage
data analysis
data sources
resource allocation
static analysis
fixpoint
knowledge representation
multi dimensional
index structure