Programming autonomous robots in curry

Electronic Notes in Theoretical Computer Science

Volumn 76, Issue , 2002, Pages 178-196

  Hanus, Michael ^a   Höppner, Klaus ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUATORS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; LIQUID CRYSTAL DISPLAYS; MATHEMATICAL MODELS; MICROPROCESSOR CHIPS; RANDOM ACCESS STORAGE; ROBOT APPLICATIONS;

REACTIVE PROGRAMMING; ROBOTIC COMMAND EXPLORER; ROBOTICS INVENTION SYSTEM (RIS); VISUAL PROGRAMMING LANGUAGES;

ROBOT PROGRAMMING;

EID: 18944383648     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80793-X     Document Type: Conference Paper

References (21)

1. Antoy S., Echahed R., Hanus M. A Needed Narrowing Strategy. Journal of the ACM. Vol. 47:(no. 4):2000;776-822
2. Armstrong J., Williams M., Wikstrom C., Virding R. Concurrent Programming in Erlang. 1996;Prentice Hall
3. Berry G., Gontheir G. The Esterel sychronous programming language: Design, semantics, implentation. Science of Computer Programming. Vol. 19:(No. 2):1992;87-152
4. J. Blanc and R. Echahed. Adding Time to Functional Logic Programs. In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001). pp. 31-44. Report No. 2017, University of Kiel, 2001.
5. S. Bonnier and J. Maluszynski. Towards a Clean Amalgamation of Logic Programs with External Procedures. In Proc. 5th Conference on Logic Progamming & 5th Symposium on Logic Programming (Seattle), pp. 311-326. MIT Press, 1988.
6. B. BraBel, M. Hanus, and F. Steiner. Embedding Processes in a Declarative Programming Language. In Proc. Workshop on Programming Languages and Foundations of Programming, pp. 61-73. Aachener Informatik Berichte Nr. AIB-2001-11, RWTH Aachen, 2001.
7. R. Echahed and W. Serwe. Combining Mobile Processes and Declarative Programming. In Proc. of the 1st International Conference on Computation Logic (CL 2000), pp. 300-314. Springer LNAI 1861, 2000.
8. R. Echahed and W. Serwe. A Component-Based Approach to Concurrent Declarative Programming. In Proc. of the International Workshop on Functional and (Constraint) Logic Programming(WFLP 2001), pp. 285-298. Report No. 2017, University of Kiel, 2001.
9. Forkink W. Introduction to Process Algebra. 2000;Springer
10. N. Halbwachs. Sychronous progamming of reactive systems. In Tenth International Conference on Computer-Aided Verification (CAV'98), pp. 1-16. Springre LNCS 1427, 1998.
11. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, Vol. 79, No. 9, pp. 1305-1320, 1991.
12. N. Halbwachs, P. Raymond, and C. Ratel. Generting Efficient Code From Data-Flow Programs. In Third International Symposium on Progamming Language Implementation and Logic Programming, pp. 207-218. Springer LNCS 528, 1991.
13. M. Hanus. A Uni.ed Computation Model for Functional and Logic Programming. In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80-93, 1997.
14. M. Hanus. Distributed Programming in a Multi-Paradigm DEclarative Language. In Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP'99), pp. 376-395. Springer LNCS 1702, 1999.
15. Hanus M. A Functional Logic Programming Approach to Graphical User Interfaces. International Workshop on Practical Aspects of Declarative Languages (PADL'00). Springer LNCS 1753 :2000;47-62
16. M. Hanus, F. Huch, and P. Niederau. An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. In Proc. of the 12th International Workshop on Implenetation of Funcational Languages (IFL 2000), pp. 89-106. Springer LNCS 2011, 2001.
17. M. Hanus (ed.). Curry: An Integrated Functional Logic Language (Vers. 0.7). Available at http://www.informatick.uni-kiel.de/~curry, 2000.
18. J. Peterson, P. Hudak, and C. Elliott. Lambda in Motion: Controlling Robots With Haskell. In Proc. First International Workshop on Practical Aspects of Declarative Languages, pp. 91-105. Springer LNCS 1551, 1999.
19. S.L. Peyton Jones and J. Hughes. Haskell 98: A Non-strict, Purely Functional Language. http://www.haskell.org, 1999.
20. A. Podelski and G. Smolka. Opertional Semantics of Constraint Logic Programs with Coroutinin. In Proc. of the Twelfth International Conference on Logic Programming(ICLP'95), pp. 449-463. MIT Press, 1995.
21. Smolka G. The Oz Programming Model. van Leeuwen J. Computer Science Today: Recent Trends and Developments. Springer LNCS 1000 :1995;324-343