Sign in

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.

Pablo Chico de GuzmánManuel CarroManuel V. Hermenegildo
Published in: ICLP (2008)
Keyphrases
  • program execution
  • execution traces
  • detection scheme
  • control flow
  • control program
  • symbolic execution
  • real time
  • search engine
  • test cases
  • static analysis
  • programming environment
  • application programs
  • execution model