Pages that link to "Item:Q4794727"
From MaRDI portal
The following pages link to Improving the official specification of Java bytecode verification (Q4794727):
Displaying 4 items.
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification (Q974112) (← links)
- Formal specification and verification of JDK's identity hash map implementation (Q2165501) (← links)
- (Q4738400) (← links)
- A certified lightweight non-interference Java bytecode verifier (Q5400855) (← links)