Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
Edison MeraPedro López-GarcíaGermán PueblaManuel CarroManuel V. HermenegildoPublished in: CoRR (2007)
Keyphrases
- logic programs
- static analysis
- symbolic execution
- logic programming
- dynamic analysis
- source code
- answer sets
- fixpoint
- answer set programming
- stable models
- normal logic programs
- regular expressions
- partial deduction
- inductive logic programming
- computational properties
- test suite
- stable model semantics
- monotonicity constraints
- strong equivalence
- loop formulas
- recursive programs
- metadata
- term rewriting systems
- prolog programs
- data flow
- test cases
- open source