A type system for the Java bytecode language and verifier

DOI10.1023/A:1025011624925zbMath1031.68039MaRDI QIDQ1405989

John C. Mitchell, Stephen N. Freund

Publication date: 9 September 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

type systems; bytecode verification; Java Virtual Machine

Mathematics Subject Classification ID

68N15: Theory of programming languages

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

A new type system for JVM lock primitives