๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Type System for the Java Bytecode Language and Verifier

โœ Scribed by Stephen N. Freund; John C. Mitchell

Book ID
111547053
Publisher
Springer Netherlands
Year
2003
Tongue
English
Weight
293 KB
Volume
30
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Type System for Object Initialization
A Type System for Object Initialization In the Java Bytecode Language (summary)
โœ Stephen N. Freund; John C. Mitchell ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 286 KB

In the standard Java implementation, a Java language program is compiled to Java bytecode and this bytecode is then interpreted by the Java Virtual Machine. Since bytecode may be written by hand, or corrupted during network transmission, the Java Virtual Machine contains a bytecode veri er that perf

Technologies for ubiquitous supercomputi
Technologies for ubiquitous supercomputing: a Java interface to the Nexus communication system
โœ Foster, Ian; Thiruvathukal, George K.; Tuecke, Steven ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 78 KB ๐Ÿ‘ 1 views

We use the term ubiquitous supercomputing to refer to systems that integrate low-and midrange computing systems, advanced networks and remote high-end computers with the goal of enhancing the computational power accessible from local environments. Such systems promise to enable new applications in a