Pages that link to "Item:Q2784166"
From MaRDI portal
The following pages link to Stack-based typed assembly language (Q2784166):
Displaying 7 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)
- Heap-bounded assembly language (Q1826469) (← 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)
- Flow analytic type system for array bound checks (Q2843920) (← links)