𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Wound repair in the horse: Problems and proposed innovative solutions

✍ Scribed by Christine L. Theoret

Book ID
117818938
Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
486 KB
Volume
3
Category
Article
ISSN
1534-7516

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