System ST toward a type system for extraction and proofs of programs.

Christophe Raffalli

Published in: Ann. Pure Appl. Log. (2003)

Keyphrases

information extraction
computer programs
computer vision
automatic extraction
data sets
databases
machine learning
artificial intelligence
search engine
data structure
search algorithm
theorem prover