Towards Translating Embedded Curry to C

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 http://www.elsevier.nl/locate/entcs/volume86.html, 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.