Program Specification Applied to a Text Formatter.

Martin S. Feather

Published in: IEEE Trans. Software Eng. (1982)

Keyphrases

image retrieval
text mining
data sets
information retrieval
artificial intelligence
text retrieval
formal methods
program execution
machine learning
search engine
clustering algorithm
programming language