Journal of automated reasoning. 2003;30(3-4):271-321. doi: 10.1023/a:1025011624925 Q40.72025

A Type System for the Java Bytecode Language and Verifier

一种适用于Java字节码语言的类型系统及验证器

DOI: 10.1023/a:1025011624925

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！