Singleton, Union and Intersection Types for Program Extraction.

Published in: TACS (1991)

Keyphrases

databases
three dimensional
information extraction
test cases
input output
knowledge extraction
machine learning
case study
automatic extraction
computer programs
neural network
feature extraction
digital libraries