(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