@INPROCEEDINGS{HanusHoeppner02WFLP_ENTCS,
author = "Hanus, M. and H{\"o}ppner, K.",
title  = "Programming Autonomous Robots in Curry",
year   = "2002",
editor       = "Comini, M. and Falaschi, M.",
booktitle    = "Electronic Notes in Theoretical Computer Science",
publisher    = "Elsevier Science Publishers",
volume       = "76",
note         = "Also available from
                {\tt http://www.elsevier.nl/locate/entcs/volume76.html}",
abstract = {
In this paper we present a framework to program
autonomous robots in the declarative multi-paradigm language Curry.
This is an experiment to use high-level declarative programming
languages for the programming of embedded systems.
Our programming model is based on a recent proposal to
integrate a process-oriented specification language in Curry.
We show the basic ideas of our framework and
demonstrate its application to robot programming.
}
}