Login / Signup
Polynomial Invariant Generation for Non-deterministic Recursive Programs.
Krishnendu Chatterjee
Hongfei Fu
Amir Kafshdar Goharshady
Ehsan Kafshdar Goharshady
Published in:
CoRR (2019)
Keyphrases
</>
recursive programs
program synthesis
transformation rules
logic programs
black box
databases