Simon Gammage An essay presented to the University of Waterloo in fulfilment...  Home/Search
Context
Related
| plg.uwaterloo.ca/p...GammageEssay.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: plg.uwaterloo.ca/plg (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 (Update)
Similar documents (at the sentence level):
78.6%: Compiling Standard ML to Java - Gammage (1997) (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: Parsing Expression Grammars: A Recognition-Based Syntactic.. - Ford (2004) (Correct)
BibTeX entry: (Update)
@misc{ an-compiling,
author = "Simon Gammage",
title = "Compiling Standard ML to Java",
url = "citeseer.ist.psu.edu/711919.html" }
Citations (may not include all citations):737 The Java Programming Language (context) - Arnold, Gosling - 1996
521 Compiling with Continuations (context) - Appel - 1992 ACM
461 Programming Language (context) - Stroustrup - 1994
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997 ACM
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
362 ML for the Working Programmer (context) - Paulson - 1996 ACM
238 Pizza into Java: Translating theory into practice - Odersky, Walder - 1997 DBLP
220 ORBIT: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986 ACM DBLP
210 TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996 DBLP
178 Standard ML of New Jersey - Appel, MacQueen - 1991 DBLP
163 Commentary on Standard ML (context) - Milner, Tofte - 1990 ACM
162 Unboxed objects and polymorphic typing - Leroy - 1992 ACM DBLP
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993 ACM DBLP
146 The Glasgow Haskell compiler: a technical overview - Jones, Hall et al. - 1993
138 Typed closure conversion - Minamide, Morrisett et al. - 1996 ACM DBLP
138 Type inference for polymorphic references (context) - Tofte - 1990 ACM DBLP
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 ACM DBLP
79 Elements of ML Programming (context) - Ullman - 1994 ACM
72 A theory of primitive objects: Untyped and first-order syste.. - Abadi, Cardelli - 1996 DBLP
70 No assembly required: Compiling Standard ML to C - Tarditi, Acharya et al. - 1990 DBLP
65 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1997
63 Tag-free garbage collection using explicit type parameters - Tolmach - 1994 ACM DBLP
54 Programming with regions in the ML Kit - Tofte, Birkedal et al. - 1997
50 Flexible representation analysis - Shao - 1997 ACM DBLP
49 Design and Implementation of Code Optimizations for a Type-D.. (context) - Tarditi - 1996
42 An ad hoc approach to the implementation of polymorphism - Morrison, Dearle et al. - 1991 ACM DBLP
40 Unboxed values as first class citizens (context) - Jones, Launchbury - 1991
38 a portable Scheme-to-C compiler (context) - Bartlett - 1989
37 Polymorphism for imperative languages without imperative typ.. - Wright - 1993
37 Compiling with Types (context) - Morrisett - 1995
35 overview FLINTML compiler - An, the et al. - 1997
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 DBLP
21 Revised Report on the Algorithmic Language ALGOL (context) - van Wijngaarden, Mailloux et al. - 1976
18 Programming the Internet in Ada - Taft - 1996
10 Efficient data representation in polymorphic languages (context) - Leroy - 1990 ACM DBLP
9 Number 7 in Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
8 ADA Language and Methodology (context) - Watt, Wichmann et al. - 1987 ACM
5 Technical Report Computing Science Technical Report No (context) - Feldman, Gay et al. - 1995
4 Making lambda calculus smaller (context) - Appel, Jim - 1994
4 Report on the Algorithmic Language ALGOL (context) - van Wijngaarden, Mailloux et al. - 1969
2 A portable Standard ML implementation - Elsman - 1994
2 Compilers: Principless (context) - Aho, Sethi et al. - 1988
2 Technical Report DIKU-TR (context) - Birkedal, Rothwell et al. - 1993
1 From HOPL to HOPL-II (context) - Sammet - 1996
http://www.cygnus.com/bothner/kawa.html
ftp://csvax.cs.caltech.edu/pub/p2c-1.20.tar.Z
Documents on the same site (http://plg.uwaterloo.ca/plg.html): More
Compiling Standard ML to Java - Gammage (1997) (Correct)
Generalizing Database Access Methods - Zhou (1999) (Correct)
High-Level Real-Time Concurrency - Harji (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