Book Chapter10.1007/978-3-642-95851-9_5
Java Virtual Machine
Liwu Li
- 01 Jan 1998
- pp 165-200
29
TL;DR: A compilation unit in a Java program contains classes and/or interfaces that the Java compiler compiles into a class file, which is represented in a platform-independent binary format.
read more
Abstract: A compilation unit in a Java program contains classes and/or interfaces. The Java compiler compiles each class or interface into a class file, which is represented in a platform-independent binary format. A Java runtime system loads a class from the class file when it needs the class. It executes instructions in compiled methods loaded from class files.
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
Eliminating stack overflow by abstract interpretation
John Regehr,Alastair Reid,Kirk Webb +2 more
- 01 Jan 2003
TL;DR: A method for statically guaranteeing stack safety of interrupt-driven embedded software using an approach based on context-sensitive dataflow analysis of object code and two novel ways to reduce stack memory requirements of embedded software are developed.
431
•Journal Article
Mobile Resource Guarantees for smart devices
TL;DR: The Mobile Resource Guarantees framework is presented: a system for ensuring that downloaded programs are free from run-time violations of resource bounds, and a novel programming language with resource constraints encoded in function types is used to streamline the generation of proofs of resource usage.
232
Mobile resource guarantees for smart devices
David Aspinall,Stephen Gilmore,Martin Hofmann,Donald Sannella,Ian Stark +4 more
- 10 Mar 2004
TL;DR: In this paper, the authors present the Mobile Resource Guarantees framework, a system for ensuring that downloaded programs are free from run-time violations of resource bounds, in contrast to cryptographic certificates of code origin, these are independent of trust networks.
Oracle-based checking of untrusted software
George C. Necula,S. P. Rahul +1 more
- 01 Jan 2001
TL;DR: A variant of Proof-Carrying Code in which the trusted inference rules are represented as a higherorder logic program, the proof checker is replaced by a nondeterministic higher-order logic interpreter and the proof is implemented by an oracle implemented as a stream of bits that resolve the nondetergetic interpretation choices.
A virtual machine for sensor networks
René Müller,Gustavo Alonso,Donald Kossmann +2 more
- 21 Mar 2007
TL;DR: SwissQM offers a platform-independent programming abstraction that is geared towards data acquisition and in-network data processing and is presented as a virtual machine designed to address all limitations of low-level programming.
98
References
•Book
The Java Virtual Machine Specification
Tim Lindholm,Frank Yellin +1 more
- 19 Sep 1996
TL;DR: In this article, the authors present a detailed overview of the Java Virtual Machine, including the internal structure of the class file format, the internal form of Fully Qualified Class and Interface names, and the implementation of new class instances.
Related Papers (5)
Tim Lindholm,Frank Yellin +1 more
- 19 Sep 1996
Jung Un Gyo
- 18 Jul 2003
[...]
George C. Necula
- 01 Jan 1997
David Wallman,Stepan Sokolov +1 more
- 28 Jun 2001
Denis N. Antonioli,Markus Pilz +1 more
- 28 Apr 1998