Type safety in the jvm: some problems in jdk 1

  title={Type safety in the jvm: some problems in jdk 1},
  author={Alessandro Coglio and Allen Goldberg},

From This Paper

Topics from this paper.


Publications referenced by this paper.

Type safety in the JVM: Some problems in JDK 1.2.2 and proposed solutions

  • Alessandro Coglio, Allen Goldberg
  • http://www.kestrel.edu/java,
  • 2000
1 Excerpt

A formal spe i ation of JavaTM virtual ma hine instru tions for obje ts, methods and subroutines

  • Zhenyu Qian
  • In Jim Alves-Foss, editor, Formal Syntax and…
  • 1998

A spe i ation of Java loading and byte ode veri ation

  • Allen Goldberg
  • ACM Conferen e on Computer and Communi ations Se…
  • 1998

Dynami lass loading in the JavaTM virtual ma hine

  • Sheng Liang, Gilad Bra ha
  • In Pro . Conf. on Obje t-Oriented Programming…
  • 1998

Towards a provably- orre t implementation of the JVM byte ode veri er

  • Alessandro Coglio, Allen Goldberg, Zhenyu Qian
  • In Pro . OOPSLA'98 Workshop on Formal…
  • 1998
1 Excerpt

Similar Papers

Loading similar papers…