Login / Signup

Correctness of Classical Compiler Optimizations using CTL.

Carl Christian Frederiksen
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • model checking
  • temporal logic
  • general purpose
  • programming language
  • database
  • highly optimized
  • website