Programming Inductive Proofs - A New Approach Based on Contextual Types.

Brigitte Pientka

Published in: Verification, Induction, Termination Analysis (2010)

Keyphrases

contextual information
real time
artificial intelligence
programming language
computer programs
database
data sets
machine learning
web pages
case study
high level
theorem proving
object oriented programming
programming environment
equational theories