Fixing the Java bytecode verifier by a suitable type domain.

Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco

Browse the full SEKE paper archive.