How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics.
Julien HenryMihail AsavoaeDavid MonniauxClaire MaizaPublished in: LCTES (2014)
Keyphrases
- semantics of logic programs
- intended meaning
- optimization problems
- speech acts
- general theory
- global optimization
- optimization algorithm
- proof theory
- formal semantics
- optimization process
- constrained optimization
- neural network
- deductive databases
- semantic information
- optimization methods
- computer programs
- optimization method
- theoretical framework
- model theoretic
- test cases
- abstract argumentation frameworks
- evolutionary algorithm