Lars Birkedal, Nick Rothwell, Mads Tofte, and David N. Turner. The ML Kit version 1. Technical Report DIKU-TR-93-14, University of Copenhagen, March 1993.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....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 ....

....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 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 ....

[Article contains additional citation context not shown here]

Lars Birkedal, Nick Rothwell, Mads Tofte, and David N. Turner. The ML Kit version 1. Technical Report DIKU-TR-93-14, University of Copenhagen, March 1993.

No context found.

Lars Birkedal, Nick Rothwell, Mads Tofte, and David N. Turner. The ML Kit version 1. Technical Report DIKU-TR-93-14, University of Copenhagen, March 1993.

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