Pages that link to "Item:Q4329632"

From MaRDI portal

← Verified lightweight bytecode verification (Q4329632)

Jump to:navigation, search

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

Displaying 3 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)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q4329632"