共 31 条
[1]
Abramsky Samson., 1994, Domain theory
[2]
[Anonymous], 2001, Java and the Java Virtual Machine: Definition, Verification, Validation
[3]
BARBUTI R, 2004, ABSTRACT INTERPRETAT
[4]
BARBUTI R, 2002, P 14 INT C SOFTW ENG, P377
[6]
BERTOT Y, 2001, LECT NOTES COMPUTER, V2102, P377
[9]
Cohen R.M., 1997, The defensive Java Virtual Machine specification