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

Problems with the pygmalion effect and some proposed solutions

โœ Scribed by Susan S White; Edwin A Locke

Book ID
117704889
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
159 KB
Volume
11
Category
Article
ISSN
1048-9843

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Type safety in the JVM: some problems in
Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions
โœ Alessandro Coglio; Allen Goldberg ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 183 KB

## Abstract In the course of our work in developing formal specifications for components of the Java Virtual Machine (JVM), we have uncovered subtle bugs in the bytecode verifier of Sun's Java 2 SDK 1.2. These bugs, which lead to type safety violations, relate to the naming of reference types. Unde