Using Dependent Types to Port Type Systems to Low-Level Languages
No abstract available.
Related papers
- Dependent Types for Low-Level Programming ESOP 2007
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- Internalizing Indistinguishability with Dependent Types POPL 2024
- A theory of platform-dependent low-level software POPL 2008
- Unifying type checking and property checking for low-level code POPL 2009
- Experience with safe manual memory-management in cyclone ISMM 2004
- Proactive and adaptive energy-aware programming with mixed typechecking PLDI 2017
- Type-Safe Linking and Modular Assembly Language POPL 1999