Java access protection through typing

DOI10.1002/CPE.599zbMath0997.68017OpenAlexW2071568302MaRDI QIDQ4329631

Eva Rose, Kristoffer H. Rose

Publication date: 1 May 2002

Published in: Concurrency and Computation: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/cpe.599

zbMATH Keywords

Java compilerJava virtual machine

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• Verified lightweight bytecode verification

This page was built for publication: Java access protection through typing