DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

Types for DSP Assembler Programs

Ken Friis Larsen

Thursday, Sepetember 18th, 15:15-16:00
DIKU, Universitetsparken 1, room N014

Abstract:

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.

Scientific host: Peter Sestoft. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, IT-C and KVL.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org