Dedication and Introduction
- 作者Nobutaka Doba; William T. Talman; Alan F. Sved
- 卷第23卷
- 印刷ISSN0272-4340
- 电子ISSN1573-6830
- 文件大小496.44KB
- 发表时间2003-10
- DOI10.1023/a:1025091125403
- 页码451-454
Verified Java Bytecode Verification (Verified Java Bytecode Verification)Klein, Gerwin · it - Information Technology · 2005
Integrated Java Bytecode VerificationAndreas Gal; Christian W. Probst; Michael Franz · 2005
Bytecode verification on Java smart cardsXavier Leroy · 2002
Java Bytecode Verification: Algorithms and FormalizationsXavier Leroy · 2003
Checking secure information flow in Java bytecode by code transformation and standard bytecode verificationC. Bernardeschi; N. De Francesco; G. Lettieri; L. Martini · 2004
Improving the official specification of Java bytecode verificationAlessandro Coglio · 2003
Simple verification technique for complex Java bytecode subroutinesAlessandro Coglio · 2004
Verified lightweight bytecode verificationGerwin Klein; Tobias Nipkow · 2001
Equational reasoning in IsabelleTobias Nipkow · 1989
PrefaceStephan Merz; Tobias Nipkow · 2007
Verified bytecode verifiersGerwin Klein; Tobias Nipkow · 2003
Combining matching algorithms: The regular caseTobias Nipkow · 1991
Boolean unification — The story so farUrusula Martin; Tobias Nipkow · 1989
Unification in Boolean ringsUrsula Martin; Tobias Nipkow · 1988
Deduktion: von der Theorie zur AnwendungFranz Baader; Bernhard Beckert; Tobias Nipkow · 2010