• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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