On the interpretation of mathematical entities in the formalisation of programming and modelling languages.
José Miguel Cañete ValdeónPublished in: Math. Struct. Comput. Sci. (2008)
Keyphrases
- programming language
- expressive power
- computer programs
- mathematical formulas
- programming paradigms
- functional language
- high level
- cross lingual
- formal analysis
- programming environment
- development environment
- language independent
- named entities
- reference resolution
- multi lingual
- language identification
- mathematical expressions
- computer programming
- target language
- software engineering
- knowledge representation
- information retrieval
- databases
- object oriented programming
- programming course
- semantic interpretation
- grammatical inference
- entity ranking
- text summarization
- image interpretation
- functional programming
- natural language
- programs written
- artificial intelligence