Martin Elsman. A portable Standard ML implementation. Master's thesis, The Technical University of Denmark, 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Compiling Standard ML to Java - Gammage (1997) (Correct)
....analysis, and semantic analysis such as type checking, whereas the back end is responsible for code generation. This chapter discusses the front end of the SML to Java compiler. 3. 2 The ML Kit Lexical and syntactic analysis of SML has been an area of significant complexity for SML compilers [5, 8, 11, 14], due in no small part to the ambiguous grammar presented in the Definition. The static semantics, by contrast, are well understood and easily translated into practice; indeed, the ML Kit system [11, 47] includes an almost literal implementation of the static semantics of the Definition in SML, as ....
....in SML, as well as a full lexer and parser 1 . Rather than revisit problems solved by the Kit s implementors, it seems sensible to make use of the Kit s front end, and simply implement a new back end for the translation to Java. This approach has been adopted by a number of other projects [43, 14]. The SML to Java compiler thus makes use of the front end provided by the ML Kit version 2 to perform lexical analysis, syntactic analysis, and elaboration. As a further benefit, the Kit version 2 includes a compiler to a typed calculus Lambda, which performs patternmatching compilation. With ....
Martin Elsman. A portable Standard ML implementation. Master's thesis, The Technical University of Denmark, 1994.
Compiling Standard ML to Java - An (Correct)
No context found.
Martin Elsman. A portable Standard ML implementation. Master's thesis, The Technical University of Denmark, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC