Login / Signup

Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting.

Raúl GutiérrezSalvador Lucas
Published in: Logic, Rewriting, and Concurrency (2015)
Keyphrases
  • context sensitive
  • termination analysis
  • active rules
  • multiple task learning
  • language model
  • context free
  • information retrieval
  • active databases
  • training data
  • graph grammars
  • rewrite rules
  • learning problems