Login / Signup

Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15).

Kenichi AsaiKonstantinos Sagonas
Published in: Sci. Comput. Program. (2017)
Keyphrases
  • partial evaluation
  • explanation based generalization
  • special issue
  • world class
  • high level
  • databases
  • machine learning
  • small number
  • case based reasoning
  • model checking
  • modal logic