Login / Signup

Extracting a call-by-name partial evaluator from a proof of termination.

Kenichi Asai
Published in: PEPM@POPL (2019)
Keyphrases
  • term rewriting
  • theorem prover
  • theorem proving
  • rewrite systems
  • artificial intelligence
  • machine learning
  • genetic algorithm
  • website
  • data extraction
  • partial information
  • mathematical proofs
  • geometry theorem proving