Pages that link to "Item:Q1405989"

The following pages link to A type system for the Java bytecode language and verifier (Q1405989):

Displaying 16 items.

• Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types (Q532427) (← links)
• \textsc{Mnemonics}: type-safe bytecode generation at run time (Q656864) (← links)
• A new type system for JVM lock primitives (Q949169) (← links)
• Using abstract interpretation to add type checking for interfaces in Java bytecode verification (Q974112) (← links)
• Reasoning about safety properties in a JVM-like environment (Q997235) (← links)
• Completeness of a bytecode verifier and a certifying Java-to-JVM compiler (Q1405990) (← links)
• A type system for JVM threads (Q1853613) (← links)
• Verified bytecode verification and type-certifying compilation (Q1881665) (← links)
• Java access protection through typing (Q4329631) (← links)
• Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions (Q4329633) (← links)
• (Q4818817) (← links)
• Type elaboration and subtype completion for Java bytecode (Q5178855) (← links)
• A type system for certified binaries (Q5178908) (← links)
• A certified lightweight non-interference Java bytecode verifier (Q5400855) (← links)
• Computer Aided Verification (Q5716545) (← links)
• JNI light: an operational model for the core JNI (Q5740640) (← links)