Sign in

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.

Jesús J. DoménechJohn P. GallagherSamir Genaim
Published in: Theory Pract. Log. Program. (2019)
Keyphrases
  • partial evaluation
  • control flow
  • data flow
  • intelligent agents
  • feature space
  • data model
  • semi supervised
  • case based reasoning