Pages that link to "Item:Q4329632"

The following pages link to Verified lightweight bytecode verification (Q4329632):

Displaying 5 items.

• Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
• Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
• Verified bytecode verification and type-certifying compilation (Q1881665) (← links)
• Modular development of certified program verifiers with a proof assistant, (Q3546045) (← links)
• Java access protection through typing (Q4329631) (← links)