Pages that link to "Item:Q2784166"
From MaRDI portal
The following pages link to Stack-based typed assembly language (Q2784166):
Displayed 6 items.
- A verifiable low-level concurrent programming model based on colored Petri nets (Q350966) (← links)
- \textsc{Mnemonics}: type-safe bytecode generation at run time (Q656864) (← links)
- Automated techniques for provably safe mobile code. (Q1853627) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- (Q2843920) (← links)