Type-Safe Linking and Modular Assembly Language.
Neal GlewJ. Gregory MorrisettPublished in: POPL (1999)
Keyphrases
- strongly typed
- programming language
- neural network
- type checking
- modular architecture
- natural language
- language learning
- real time
- website
- high level
- language processing
- query language
- database programming language
- linguistic knowledge
- description logics
- object oriented
- probabilistic model
- data model
- database systems
- decision trees
- artificial intelligence
- genetic algorithm
- real world
- databases