Termination in Impure Concurrent Languages.
Romain DemangeonDaniel HirschkoffDavide SangiorgiPublished in: CONCUR (2010)
Keyphrases
- expressive power
- cross lingual
- type checking
- language independent
- grammatical inference
- language identification
- text summarization
- hierarchical reinforcement learning
- data sets
- artificial intelligence
- information systems
- query translation
- target language
- multi lingual
- object oriented languages
- concurrent execution