Towards Translating Embedded Curry to C

by Michael Hanus, Klaus Höppner, Frank Huch

Electronic Notes in Theoretical Computer Science (Selected papers from WFLP 2003), Vol. 86, No. 3, Also available from, 2003

This paper deals with a framework to program autonomous robots in the declarative multi-paradigm language Curry. Our goal is to apply a high-level declarative programming language for the programming of embedded systems. For this purpose, we use a specialization of Curry called Embedded Curry. We show the basic ideas of our framework and an implementation that translates Embedded Curry programs into C.

Preprint (PDF) BibTeX-Entry Online