Cobalt: A Language for Writing Provably-Sound Compiler Optimizations.
Sorin LernerTodd D. MillsteinCraig ChambersPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- programming language
- programs written
- concurrent programming
- natural language
- language learning
- specification language
- general purpose
- worst case
- programming environment
- constraint language
- java virtual machine
- software systems
- object oriented programming
- object oriented
- source code
- operating system
- virtual machine
- java bytecode
- lower bound