A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic
Patrick CousotRadhia CousotPublished in: Inf. Comput. (1989)
Keyphrases
- language independent
- proof theory
- machine translation
- natural deduction
- linear logic
- n gram
- cross lingual
- text retrieval
- multi lingual
- text classification
- cross language
- theorem prover
- word level
- language specific
- web pages
- machine learning
- chinese text retrieval
- automatic summarization
- labeled data
- text mining
- knowledge representation
- metadata
- learning algorithm