Login / Signup

Polynomial invariant generation for non-deterministic recursive programs.

Krishnendu ChatterjeeHongfei FuAmir Kafshdar GoharshadyEhsan Kafshdar Goharshady
Published in: PLDI (2020)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • transformation rules
  • machine learning
  • multi dimensional
  • case study
  • data driven