Singleton, Union and Intersection Types for Program Extraction

Published in: Inf. Comput. (1994)

Keyphrases

automatic extraction
information extraction
computer vision
search algorithm
object oriented
medical images
input output
knowledge extraction
static analysis