Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra.
Claude BolducBéchir KtariPublished in: AMAST (2010)
Keyphrases
- model checking
- formal verification
- temporal logic
- propositional logic
- verification method
- programming language
- formal specification
- data model
- regular expressions
- algebraic expressions
- face verification
- software systems
- general purpose
- query language
- genetic algorithm
- database management systems
- relational algebra
- information systems
- formal methods
- formal analysis
- optimization strategies
- functional verification
- artificial intelligence
- java bytecode
- data sets