Keyphrases
- language independent
- specification languages
- high level
- expressive power
- formal languages
- knowledge representation languages
- specification language
- databases
- formal language
- programming language
- cross lingual
- text summarization
- constraint language
- grammatical inference
- native language
- object oriented languages
- mechanical design
- reactive systems
- natural language
- e learning