Fixing the Java bytecode verifier by a suitable type domain.

Roberto Barbuti Luca Tesei Cinzia Bernardeschi Nicoletta De Francesco

Published in: SEKE (2002)

Keyphrases

java bytecode
database
parallel processing