Dependent Types for Low-Level Programming
No abstract available.
Related papers
- Using Dependent Types to Port Type Systems to Low-Level Languages CC 2006
- A theory of platform-dependent low-level software POPL 2008
- Unifying type checking and property checking for low-level code POPL 2009
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- Internalizing Indistinguishability with Dependent Types POPL 2024
- Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code POPL 2011
- Verified low-level programming embedded in F ICFP 2017
- Type-Safe Linking and Modular Assembly Language POPL 1999