See this document in CiteSeerX!

Compiling Standard ML to Java (1997)  (Make Corrections)  
Simon Gammage



  Home/Search   Context   Related

 
View or download:
plg.uwaterloo.ca/p...GammageEssay.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  plg.uwaterloo.ca/plg (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The phenomenal recent success of the Java programming language stands in stark contrast to the reluctance with which other new languages have been greeted in industry. Java's popularity can be attributed to both its superficial similarity to C++, and, perhaps more importantly, the massive proliferation of the Java Virtual Machine (JVM), to which Java is most often compiled. The Java language is not, however, a significant improvement over other conventional languages like C and C++; Standard ML ... (Update)

Similar documents (at the sentence level):
74.5%:   Compiling Standard ML to Java - An   (Correct)

Active bibliography (related documents):   More   All
0.2:   Compilation by Transformation in Non-Strict Functional Languages - Santos (1995)   (Correct)
0.2:   Shrinking Lambda Expressions in Linear Time - Appel, Jim (1997)   (Correct)
0.2:   The NLPLIB Toolbox for Nonlinear Programming in MATLAB - Holmström (1998)   (Correct)

Similar documents based on text:   More   All
0.5:   Eric Leung - An Essay   (Correct)
0.5:   How to Write a Part III Essay - Körner   (Correct)
0.4:   Growing Software: An Economic Analysis - de Oliveira   (Correct)

BibTeX entry:   (Update)

@misc{ gammage-compiling,
  author = "Simon Gammage",
  title = "Compiling Standard ML to Java",
  url = "citeseer.ist.psu.edu/article/gammage97compiling.html" }
Citations (may not include all citations):
746   The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1997
737   The Java Programming Language (context) - Arnold, Gosling - 1996
521   Compiling with Continuations (context) - Appel - 1992
461   Programming Language (context) - Stroustrup - 1994
384   The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
384   The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
380   The Java Language Specification (context) - Gosling, Joy et al. - 1996
362   ML for the Working Programmer (context) - Paulson - 1996
238   Pizza into Java: Translating theory into practice - Odersky, Walder - 1997
220   ORBIT: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986
210   TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996
178   Standard ML of New Jersey - Appel, MacQueen - 1991
163   Commentary on Standard ML (context) - Milner, Tofte - 1990
162   Unboxed objects and polymorphic typing - Leroy - 1992
155   The essence of compiling with continuations - Flanagan, Sabry et al. - 1993
146   The Glasgow Haskell compiler: a technical overview - Jones, Hall et al. - 1993
138   Type inference for polymorphic references (context) - Tofte - 1990
138   Typed closure conversion - Minamide, Morrisett et al. - 1996
128   On understanding types (context) - Cardelli, Wegner - 1985
101   ACM Transactions on Programming Languages and Systems (context) - Harper, Mitchell et al. - 1993
92   Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
89   closure-passing style (context) - Appel, Jim - 1989
79   A type-based compiler for Standard ML - Shao, Appel - 1995
79   Elements of ML Programming (context) - Ullman - 1994
70   No assembly required: Compiling Standard ML to C - Tarditi, Acharya et al. - 1990
63   Tag-free garbage collection using explicit type parameters - Tolmach - 1994
54   Programming with regions in the ML Kit - Tofte, Birkedal et al. - 1997
50   Flexible representation analysis - Shao - 1997
49   Design and Implementation of Code Optimizations for a Type-D.. (context) - Tarditi - 1996
43   An overview of the FLINT/ML compiler - Shao - 1997
42   An ad hoc approach to the implementation of polymorphism - Morrison, Dearle et al. - 1991
40   Unboxed values as first class citizens (context) - Jones, Launchbury - 1991
38   a portable Scheme-to-C compiler (context) - Bartlett - 1989
37   Compiling with Types (context) - Morrisett - 1995
37   Polymorphism for imperative languages without imperative typ.. - Wright - 1993
31   Revised Report on the Algorithmic Language ALGOL (context) - van Wijngaarden, Mailloux et al. - 1976
27   An interpretation of Standard ML in type theory - Harper, Stone - 1997
24   The effectiveness of type-based unboxing - Leroy - 1997
23   A critique of Standard ML - Appel - 1993
18   A theory of primitive objects: Untyped and first-order syste.. (context) - Abadi, Cardelli - 1996
18   Programming the Internet in Ada - Taft - 1996
12   Report on the Algorithmic Language ALGOL (context) - van Wijngaarden, Mailloux et al. - 1969
10   Efficient data representation in polymorphic languages (context) - Leroy - 1990
8   Kawa: Compiling Scheme to Java - Bothner
8   ADA Language and Methodology (context) - Watt, Wichmann et al. - 1987
5   Number 7 in Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
5   Technical Report Computing Science Technical Report No (context) - Feldman, Gay et al. - 1995
4   Making lambda calculus smaller (context) - Appel, Jim - 1994
2   A portable Standard ML implementation - Elsman - 1994
2   Technical Report DIKU-TR (context) - Birkedal, Rothwell et al. - 1993
2   Compilers: Principless (context) - Aho, Sethi et al. - 1988
1   pc Pascal to C translator (context) - the, translator et al.

Documents on the same site (http://plg.uwaterloo.ca/plg.html):   More
Generalizing Database Access Methods - Zhou (1999)   (Correct)
High-Level Real-Time Concurrency - Harji (2000)   (Correct)
Analyzing Multi-Threaded Program Performance with μProfiler - Zak (2000)   (Correct)

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