Pages that link to "Item:Q1881665"
From MaRDI portal
The following pages link to Verified bytecode verification and type-certifying compilation (Q1881665):
Displaying 14 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 type system for the Java bytecode language and verifier (Q1405989) (← links)
- Completeness of a bytecode verifier and a certifying Java-to-JVM compiler (Q1405990) (← links)
- Bytecode verification by model checking (Q1405996) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Verified bytecode verifiers. (Q1874284) (← links)
- Certifying compilation and run-time code generation (Q1974452) (← links)
- A type system for certified binaries (Q5178908) (← links)
- Verified Compilation and the B Method: A Proposal and a First Appraisal (Q5179355) (← links)
- Verified just-in-time compiler on x86 (Q5255066) (← links)
- Programming Languages and Systems (Q5316574) (← links)
- Fundamental Approaches to Software Engineering (Q5428882) (← links)
- A Completely Verified Realistic Bootstrap Compiler (Q5696931) (← links)