Inferable object-oriented typed assembly language.
Ross TateJuan ChenChris HawblitzelPublished in: PLDI (2010)
Keyphrases
- object oriented
- programming language
- object oriented programming
- object oriented languages
- definition language
- lambda calculus
- natural language
- relational databases
- language learning
- tree languages
- pattern languages
- conceptual model
- database applications
- programming interface
- higher order
- object oriented concepts
- conceptual models
- data model
- database design
- language processing
- query language
- specification language
- inductive inference
- constraint language
- object oriented database systems
- machine learning
- software engineering
- high level