• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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