Pages that link to "Item:Q4460723"
From MaRDI portal
The following pages link to Stack-based typed assembly language (Q4460723):
Displayed 20 items.
- Certifying assembly programs with trails (Q352100) (← links)
- Function extraction (Q436372) (← links)
- Application of static analyses for state-space reduction to the microcontroller binary code (Q617924) (← links)
- Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
- Polymorphic typed defunctionalization and concretization (Q853737) (← links)
- Formal compiler construction in a logical framework (Q853741) (← links)
- A new type system for JVM lock primitives (Q949169) (← links)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- TWAM: a certifying abstract machine for logic programs (Q1629962) (← links)
- Type-based hot swapping of running modules (Q1772100) (← links)
- Automated techniques for provably safe mobile code. (Q1853627) (← links)
- A list-machine benchmark for mechanized metatheory (Q1945921) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- A Representation of Fω in LF (Q2841235) (← links)
- (Q2843920) (← links)
- Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra (Q3067464) (← links)
- Modular development of certified program verifiers with a proof assistant, (Q3546045) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)
- A type system with subtyping for WebAssembly's stack polymorphism (Q6109484) (← links)