Login / Signup

From Contracts Towards Dependent Types: Proofs by Partial Evaluation.

Stephan HerhutSven-Bodo ScholzRobert BerneckyClemens GrelckKai Trojahner
Published in: IFL (2007)
Keyphrases
  • partial evaluation
  • explanation based generalization
  • supply chain
  • knowledge acquisition
  • theorem proving