Towards translating embedded Curry to C

Electronic Notes in Theoretical Computer Science

Volumn 86, Issue 3, 2003, Pages 35-51

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

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Domain specific languages; Embedded systems; Functional logic programming; Process oriented programming

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; FEATURE EXTRACTION; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

DECLARATIVE LANGUAGES; DOMAIN-SPECIFIC LANGUAGES; FUNCTIONAL LOGIC PROGRAMMING; PROCESS-ORIENTED PROGRAMMING;

ROBOTS;

EID: 18944391447     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80692-3     Document Type: Conference Paper

References (19)

1. Albert E., Hanus M., Vidal G. A practical partial evaluator for a multiparadigm declarative language. Journal of Functional and Logic Programming, date 2002. (1):2002
2. Antoy S., Echahed R., Hanus M. A needed narrowing strategy. Journal of the ACM. 47:(4):2000;776-822
3. S. Antoy and M. Hanus. Compiling multi-paradigm declarative programs into Prolog. In Proc. International Workshop on Frontiers of Combining Systems (FroCoS'2000), pages 171-185. Springer LNCS 1794, 2000.
4. Armstrong J., Williams M., Wikstrom C., Virding R. Concurrent Programming in Erlang. 1996;Prentice Hall
5. Berry G., Gonthier G. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming. 19:(2):1992;87-152
6. B. Braßel, M. Hanus, and F. Steiner. Embedding processes in a declarative programming language. In Proc. Workshop on Programming Languages and Foundations of Programming, pages 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), pages 300-314. Springer LNAI 1861, 2000.
8. Fokkink W. Introduction to Process Algebra. 2000;Springer
9. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79 (9): 1305-1320, 1991.
10. N. Halbwachs, P. Raymond, and C. Ratel. Generating efficient code from dataflow programs. In Third International Symposium on Programming Language Implementation and Logic Programming, pages 207-218. Springer LNCS 528, 1991.
11. K. Hammond and G. Michaelson. Hume: a domain-specific language for realtime embedded systems. In Proc. of GPCE'03 - Generative Programming and Component Engineering. to appear in Springer LNCS, Sep 2003.
12. M. Hanus. A unified computation model for functional and logic programming. In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pages 80-93, 1997.
13. 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), pages 376-395. Springer LNCS 1702, 1999.
14. M. Hanus, S. Antoy, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, and F. Steiner. Pakcs: The portland aachen kiel curry system. Available at http://www.informatik.uni-kiel.de/~pakcs/, 2003.
15. Hanus M., Höppner K. Programming autonomous robots in Curry. Electronic Notes in Theoretical Computer Science. 76:2002
16. Hanus M. Curry: An integrated functional logic language. vers. 0.8:2003;. Available at http://www.informatik.uni-kiel.de/~curry
17. J. Peterson, P. Hudak, and C. Elliott. Lambda in motion: Controlling robots with Haskell. In Proc. of the First International Workshop on Practical Aspects of Declarative Languages, pages 91-105. Springer LNCS 1551, 1999.
18. S.L. Peyton Jones and J. Hughes. Haskell 98: A non-strict, purely functional language. http://www.haskell.org, 1999.
19. Smolka G. The Oz programming model. van Leeuwen J. Computer Science Today: Recent Trends and Developments. 1995;324-343 Springer LNCS 1000