See this document in CiteSeerX!

Type-Preserving Compilation of Featherweight Java (2002)  (Make Corrections)  (10 citations)
Christopher League, Zhong Shao, Valery Trifonov
Foundations of Object-Oriented Languages (FOOL8)



  Home/Search   Context   Related

 
View or download:
contrapunctus.net/leagu...fjtoplas.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  contrapunctus.net/league/resea... (more)
(Enter author homepages)

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

Abstract: We present an efficient encoding... (Update)


Context of citations to this paper:   More

...the code consumer. A wide variety of approaches to mapping object oriented languages into core calculi are seen in the literature [1,17]. The system s mapping language needs to be expressive enough to allow di erent approaches to these transformation techniques. Ideally, it...

Cited by:   More
Verified Bytecode Verification and Type-Certifying Compilation - Klein, Strecker (2003)   (Correct)
CS 690 Project Report: - Semantics And Implementation   (Correct)
High-Assurance Common Language Runtime - Appel, Walker, Shao, Trifonov   (Correct)

Similar documents (at the sentence level):
30.9%:   Type-Preserving Compilation of Featherweight Java - League, Trifonov, Shao (2001)   (Correct)

Similar documents based on text:   More   All
0.7:   Representing Java Classes in a Typed Intermediate Language - League, Shao, Trifonov (1999)   (Correct)
0.5:   Constructive Foundations for Featherweight Java - Studer (2001)   (Correct)
0.4:   Fully Reflexive Intensional Type Analysis - Trifonov, Saha, Shao (2000)   (Correct)

Related documents from co-citation:   More   All
5:   Proof-carrying code - Necula - 1997
4:   The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
4:   to typed assembly language (context) - Morrisett, Walker et al. - 1998

BibTeX entry:   (Update)

Christopher League, Valery Trifonov, and Zhong Shao. Type-preserving compilation of featherweight Java. In Foundations of Object-Oriented Languages (FOOL8), London, January 2001. http://citeseer.ist.psu.edu/article/league02typepreserving.html   More

@inproceedings{ league01typepreserving,
    author = "Christopher League and Valery Trifonov and Zhong Shao",
    title = "Type-Preserving Compilation of {F}eatherweight {J}ava",
    booktitle = "Foundations of Object-Oriented Languages (FOOL8)",
    address = "London",
    year = "2001",
    url = "citeseer.ist.psu.edu/article/league02typepreserving.html" }
Citations not processed or no citations identified.



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://contrapunctus.net/league/research/papers/):   More
Implementing Typed Intermediate Languages - Shao, League, Monnier (1998)   (Correct)
Functional Java Bytecode - League, Trifonov, Shao (2001)   (Correct)
Precision in Practice: A Type-Preserving Java Compiler - League, Shao, Trifonov (2003)   (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