Rewriting of imperative programs into logical equations.
Olivier PonsiniCarine FédèleEmmanuel KounalisPublished in: Sci. Comput. Program. (2005)
Keyphrases
- imperative programs
- dynamic logic
- modal logic
- numerical solution
- linear equations
- rewriting rules
- rewrite rules
- query rewriting
- plan execution
- queries using views
- artificial intelligence
- conjunctive queries
- software engineering
- reasoning about actions
- logical structure
- linear systems
- nonlinear equations
- mathematical model
- logical representation
- query processing