Proceedings Article10.1145/202529.202541
Java intermediate bytecodes: ACM SIGPLAN workshop on intermediate representations (IR'95)
131
TL;DR: Java as mentioned in this paper is a programming language loosely related to C++ that allows to manipulate programs in ways usually associated with higher level, more abstract intermediate representations, which allows to build systems that are safer, less fragile, more portable, and yet show little performance penalty while still being simple.
read more
Abstract: Java is a programming language loosely related to C++. Java originated in a project to produce a software development environment for small distributed embedded systems. Programs needed to be small, fast, “safe” and portable. These needs led to a design that is rather different from standard practice. In particular, the form of compiled programs is machine independent bytecodes. But we needed to manipulate programs in ways usually associated with higher level, more abstract intermediate representations. This lets us build systems that are safer, less fragile, more portable, and yet show little performance penalty while still being simple.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Towards an active network architecture
D.L. Tennenhouse,David Wetherall +1 more
- 15 Apr 1996
TL;DR: This paper describes the vision of an active network architecture, the approach to its design, and survey the technologies that can be brought to bear on its implementation, and proposes that the research community mount a joint effort to develop and deploy a wide area ActiveNet.
739
Towards an active network architecture
D.L. Tennenhouse,David Wetherall +1 more
- 29 May 2002
TL;DR: This paper describes the vision of an active network architecture, outline the approach to its design, and survey the technologies that can be brought to bear on its implementation, and proposes that the research community mount a joint effort to develop and deploy a wide area ActiveNet.
Java Bytecode Verification: Algorithms and Formalizations
TL;DR: This paper reviews the various bytecode verification algorithms that have been proposed, recasts them in a common framework of dataflow analysis, and surveys the use of proof assistants to specifybytecode verification and prove its correctness.
The ACTIVE IP option
David Wetherall,D.L. Tennenhouse +1 more
- 09 Sep 1996
TL;DR: An extension to the IP options mechanism that supports the embedding of program fragments in datagrams and the evaluation of these fragments as they traverse the Internet, as well as providing a generic approach to the extension of the IP network service.
146
Patent
A method and system for loading classes in read-only memory
Theron D. Tock
- 22 May 1997
TL;DR: In this article, a static class loader is used to modify the class structure to accommodate static loading and to identify methods that contain unresolved symbolic references and data that varies during the execution of the module.
131
References
•Book
Compilers: Principles, Techniques, and Tools
Alfred V. Aho,Ravi Sethi,Jeffrey D. Ullman +2 more
- 01 Jan 1986
TL;DR: This book discusses the design of a Code Generator, the role of the Lexical Analyzer, and other topics related to code generation and optimization.
9.7K
Efficient implementation of the smalltalk-80 system
L. Peter Deutsch,Allan M. Schiffman +1 more
- 15 Jan 1984
TL;DR: The most significant optimization techniques developed over the course of the Smalltalk-80 programming system are discussed, many of which are applicable to other languages.
659
An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes
Craig Chambers,David Ungar,Elgin Lee +2 more
- 01 Sep 1989
TL;DR: SELF as discussed by the authors uses implementation-level maps to transparently group objects cloned from the same prototype, providing data type information and eliminating the apparent space overhead for prototype-based systems.
An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language
Craig Chambers,David Ungar,Elgin Lee +2 more
- 01 Jan 1991
TL;DR: This work has developed and implemented techniques that double the performance of dynamically-typed object-oriented languages and dynamically compiles multiple versions of a source method, each customized according to its receiver's map.
94
An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypes
Craig Chambers,David Ungar,Elgin Lee +2 more
- 01 Jul 1991
TL;DR: This work has developed and implemented techniques that double the performance of dynamically-typed object-oriented languages and dynamically compiles multiple versions of a source method, eachcustomized according to its receiver's map.
Related Papers (5)
Tim Lindholm,Frank Yellin +1 more
- 19 Sep 1996
James Gosling,Bill Joy,Guy L. Steele +2 more
- 12 Sep 1996
[...]
George C. Necula
- 01 Jan 1997
Alfred V. Aho,Ravi Sethi,Jeffrey D. Ullman +2 more
- 01 Jan 1986
Robert Wahbe,Steven Lucco,Thomas Anderson,Susan L. Graham +3 more
- 01 Dec 1993