(Enter summary)
Abstract: Java virtual machine (JVM) is an architecture-independent code execution environment. It is recently used not only for Java language but also for other languages such as Scheme and ML. On JVM, however, all values are statically-typed as either immediate or reference, and types are checked before the execution of a program to prove that invalid memory access will never occur. This property sometimes makes implementation of other languages on JVM inefficient. In particular, implementation of... (Update)
Context of citations to this paper: More
...Combining soft typing with SILK like interoperation of Scheme and Java would require non trivial integration of their type systems. Oiwa [17] proposed to extend the specification of JVM in order to improve the performance of dynamic type checking by adding a new type called...
Cited by: More
A Scheme-to-Java Translator with Soft Typing - Nagata, Sumii, Yonezawa
(Correct)
Active bibliography (related documents): More All
0.3: Reflecting Java into Scheme - Anderson, Hickey (1999)
(Correct)
0.3: SILK - a playful blend of Scheme and Java - Anderson, Hickey, Norvig (2000)
(Correct)
0.2: Program Specialization for Efficient Monitored Execution - Thiemann (2001)
(Correct)
Similar documents based on text: More All
0.3: Fail-Safe ANSI-C Compiler: An Approach to Making C.. - Oiwa, Sekiguchi.. (2002)
(Correct)
0.3: Parallelizing Programs Using Access Traces - Nguyen, TAURA, YONEZAWA
(Correct)
0.1: StackThreads/MP: Integrating Futures into Calling Standards - Taura, Tabata, Yonezawa (1999)
(Correct)
BibTeX entry: (Update)
O. Yutaka, K. Taura, and A. Yonezawa. Extending Java virtual machine with integer-reference conversion. Concurrency - Practice and Experience, 12(6):407--422, 2000. http://citeseer.ist.psu.edu/yutaka00extending.html More
@article{ yutaka00extending,
author = "Oiwa Yutaka and Kenjiro Taura and Akinori Yonezawa",
title = "Extending {Java} virtual machine with integer-reference conversion",
journal = "Concurrency: Prac\-tice and Experience",
volume = "12",
number = "6",
pages = "407--422",
year = "2000",
url = "citeseer.ist.psu.edu/yutaka00extending.html" }
Citations (may not include all citations):
120
The Java Virtual Machine Specication (context) - Lindholm, Yellin - 1999
119
Compositional pointer and escape analysis for Java programs
- Whaley, Rinard - 1999 ACM DBLP
82
Garbage collection in an uncooperative environment (context) - Boehm, Weiser - 1988 ACM DBLP
57
Compiling standard ML to Java bytecodes
- Benton, Kennedy et al. - 1999 ACM DBLP
40
Omniware: A universal substrate for Web programming
- Lucco, Sharp et al. - 1995
13
Space ecient conservative garbage collection (context) - Boehm - 1993
12
and evaluation of optimizations in a just-in-time compiler (context) - Ishizaki, Kawahito et al. - 1999
11
Java as an intermediate language
- Hardwick, Sipelstein - 1996
7
Supporting dynamic languages on the java virtual machine
- Shivers - 1996 ACM
6
Java-light is type-safe|denitely (context) - Nipkow, von Oheimb - 1998
5
Ecient and language-independent mobile programs (context) - Adl-Tabatabai, Langdale et al. - 1996
3
Kawa: the Java-based Scheme system (context) - Bothner - 1999
1
Information is available online from http://www (context) - Evaluation, JVM - 1998
1
Interpreter is available from http://www-swiss (context) - Ja, Scm
1
machine independent code (context) - Sekiguchi
Documents on the same site (http://venus.is.s.u-tokyo.ac.jp/papers/index.html): More
Bytecode Transformation for Portable Thread Migration in.. - Sakamoto, Sekiguchi.. (2000)
(Correct)
Run-time Bytecode Specialization: A Portable Approach to.. - Masuhara, Yonezawa (2001)
(Correct)
An Object-Oriented Concurrent Reflective Language ABCL/R3 - Masuhara, Yonezawa (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