Login / Signup

A Type System for Java Bytecode Subroutines.

Raymie StataMartín Abadi
Published in: POPL (1998)
Keyphrases
  • java bytecode
  • database
  • xml documents
  • cost effective
  • parallel algorithm