Lifted Java: A Minimal Calculus for Translation Polymorphism.
Matthias Diehn IngesmanErik ErnstPublished in: TOOLS (49) (2011)
Keyphrases
- probabilistic inference
- programming language
- machine translation
- open source
- byte code
- graphical models
- source code
- object oriented
- formal language
- databases
- statistical machine translation
- development environment
- high level
- database applications
- lightweight
- web services
- cross language information retrieval
- object oriented programming
- translation model
- distributed systems
- java programs
- java virtual machine
- algebraic structure
- computer algebra
- software engineering