Copenhagen Programming Language
Types for DSP Assembler Programs
Thursday, Sepetember 18th, 15:15-16:00
DIKU, Universitetsparken 1, room N014
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.
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 firstname.lastname@example.org
with the word 'subscribe' as subject or in the body.
For more information
about COPLAS, see http://www.coplas.org