Towards Translating Embedded Curry to C1 1This work has been partially supported by the German Research Council (DFG) under grant Ha 2457/1-2 and by the DAAD/NSF under grant INT-9981317.

摘要

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.