How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics.
Julien HenryMihail AsavoaeDavid MonniauxClaire MaïzaPublished in: CoRR (2014)
Keyphrases
- semantics of logic programs
- optimization method
- abstract argumentation frameworks
- general theory
- speech acts
- neural network
- global optimization
- formal semantics
- closed world assumption
- efficient computation
- optimization methods
- optimization algorithm
- optimization problems
- constrained optimization
- theoretical framework
- intended meaning
- control flow
- encoding scheme
- semantic information
- stable model semantics
- declarative semantics
- proof theory
- logic programming
- logic programs