𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards Translating Embedded Curry to C

✍ Scribed by Michael Hanus; Klaus Höppner; Frank Huch

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
278 KB
Volume
86
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

A general FORTRAN to C translator
A general FORTRAN to C translator
✍ C.F. Baillie 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 349 KB

Theorists in Edinburgh University Physics Department are currently using two ICL Distributed Array Processors (DAPs), programmed in a matrix and vector extension of FORTRAN called DAP FORTRAN, to perform a variety of numerical simulations. However, many of the next generation of array processors, in

Towards a more efficient implementation
Towards a more efficient implementation of OpenMP for clusters via translation to global arrays
✍ Lei Huang; Barbara Chapman; Zhenying Liu 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 939 KB

This paper discusses a novel approach to implementing OpenMP on clusters. Traditional approaches to do so rely on Software Distributed Shared Memory systems to handle shared data. We discuss these and then introduce an alternative approach that translates OpenMP to Global Arrays (GA), explaining the