Programming in assembler language is often a necessity for resource-constrained embedded systems and programming in assembler is error-prone.
My thesis is that the modern type systems developed for machine generated low-level code such as compiler intermediate languages and mobile security-aware code can be adapted to handwritten DSP assembler code.
The talk reports the experience of trying to adapt Dependently Typed Assembly Language (DTAL) to handle real-life handwritten DSP assembler code.
I will give a cursory overview of TAL and DTAL. I will present arguments to support my belief that DTAL is useful for DSP programming and illustrate the kinds of errors DTAL can catch. I will show how (restricted) pointer arithmetic and explicit reuse of memory is handled by my type system.