Pages that link to "Item:Q5660471"
From MaRDI portal
The following pages link to Protection in programming languages (Q5660471):
Displaying 5 items.
- \textsc{Mnemonics}: type-safe bytecode generation at run time (Q656864) (← links)
- On a new approach to representation independent data classes (Q1234589) (← links)
- PROTECTION AS A GENERAL SYSTEMS PROBLEM (Q4090182) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- A bisimulation for dynamic sealing (Q5899331) (← links)
