Compiling Standard ML to Java Bytecodes (1998)
Cached
Download Links
- [research.microsoft.com]
- [www.cl.cam.ac.uk]
- DBLP
Other Repositories/Bibliography
| Citations: | 99 - 12 self |
BibTeX
@INPROCEEDINGS{Benton98compilingstandard,
author = {Nick Benton and Andrew Kennedy and George Russell},
title = {Compiling Standard ML to Java Bytecodes},
booktitle = {},
year = {1998},
pages = {129--140},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
MLJ compiles SML'97 into verifier-compliant Java bytecodes. Its features include type-checked interlanguage working extensions which allow ML and Java code to call each other, automatic recompilation management, compact compiled code and runtime performance which, using a `just in time' compiling Java virtual machine, usually exceeds that of existing specialised bytecode interpreters for ML. Notable features of the compiler itself include whole-program optimisation based on rewriting, compilation of polymorphism by specialisation, a novel monadic intermediate...
