Login / Signup

Proving Termination of C Programs with Lists.

Jera HenselJürgen Giesl
Published in: CADE (2023)
Keyphrases
  • term rewrite systems
  • answer sets
  • neural network
  • case study
  • information technology
  • relational databases
  • fixpoint
  • automatic programming