More Web Proxy on the site http://driver.im/

Article

High-level languages for small devices: a case study

Authors:

José F. Morales,

Henk L. Muller,

M. HermenegildoAuthors Info & Claims

CASES '06: Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems

Pages 271 - 281

https://doi.org/10.1145/1176760.1176794

Published: 22 October 2006 Publication History

Abstract

In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting wearable computers. The case study is a "sound spatializer" which, given real-time signals for monaural audio and heading, generates stereo sound which appears to come from a position in space. The use of advanced compile-time transformations and optimizations made it possible to execute code written in a clear style without efficiency or architectural concerns on the target device, while meeting strict existing time and memory constraints. The final executable compares favorably with a similar implementation written in C. We believe that this case is representative of a wider class of common pervasive computing applications, and that the techniques we show here can be put to good use in a range of scenarios. This points to the possibility of applying high-level languages, with their associated exibility, conciseness, ability to be automatically parallelized, sophisticated compile-time tools for analysis and verification, etc., to the embedded systems eld without paying an unnecessary performance penalty.

References

[1]

P. A. Bigot and S. K. Debray. A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. In International Logic Programming Symposium, pages 257--271, 1995.]]

[2]

J. Blauert. Spatial Hearing: The Psychophysics of Human Sound Localization. The MIT Press, 1983.]]

[3]

G. Bolella and J. Gosling. The Real-Time Specification for Java. IEEE Computer, 33(6), June 2000.]]

Digital Library

[4]

F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-Garcá, and G. P. (Eds. ). The Ciao System. Reference Manual (v1. 10). Technical report, School of Computer Science (UPM), 2004. Available at http://clip.dia.fi.upm.es/Software/Ciao/.]]

[5]

M. Carro and M. Hermenegildo. Concurrency in Prolog Using Threads and a Shared Database. In 1999 International Conference on Logic Programming, pages 320--334. MIT Press, Cambridge, MA, USA, November 1999.]]

Digital Library

[6]

A. Casas, D. Cabeza, and M. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. In Eighth International Symposium on Functional and Logic Programming (FLOPS'06), Fuji Susono (Japan), April 2006.]]

Digital Library

[7]

P. Cousot and R. Cousot. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. of POPL'77, pages 238--252, 1977.]]

Digital Library

[8]

G. Gupta, E. Pontelli, K. Ali, M. Carlsson, and M. Hermenegildo. Parallel Execution of Prolog Programs: a Survey. ACM Transactions on Programming Languages and Systems, 23(4):472--602, July 2001.]]

Digital Library

[9]

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garcá de la Banda, P. López-Garcá, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65--85. Nova Science, Commack, NY, USA, April 1999.]]

[10]

M. Hermenegildo, G. Puebla, F. Bueno, and P. López-Garcá. Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming, 58(1 ?2):115--140, October 2005.]]

Digital Library

[11]

S. P. Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003.]]

[12]

E. A. Lee. Overview of the Ptolemy Project. Technical Report UCB/ERL M03/25, University of California at Berkeley, July 2003.]]

[13]

X. Leroy. Unboxed Objects and Polymorphic Typing. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 177--188, Albequerque, New Mexico, 1992.]]

Digital Library

[14]

M. Leuschel. Design and Implementation of the High-Level Specification Language CSP(LP). In I. V. Ramakrishnan, editor, PADL'01, volume 1990 of Lecture Notes in Computer Science, page 14. Springer-Verlag, March 2001.]]

Digital Library

[15]

M. McCarthy and H. Muller. No Pingers: Ultrasonic Indoor Location Sensing without RF Synchonisation. Technical Report 003-004, University of Bristol, Department of Computer Science, May 2003.]]

[16]

J. Morales, M. Carro, and M. Hermenegildo. Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. In Intnl. Symposium on Practical Aspects of Declarative Languages, number 3057 in LNCS, pages 86--103. Springer, June 2004.]]

[17]

H. Muller and C. Randell. An Event-Driven Sensor Architecture for Low Power Wearables. In ICSE 2000, Workshop on Software Engineering for Wearable and Pervasive Computing, pages 39--41. ACM/IEEE, June 2000.]]

[18]

J. Peterson. Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 89--99. ACM Press, September 1989.]]

Digital Library

[19]

J. Peterson, P. Hudak, and C. Elliott. Lambda in Motion: Controlling Robots with Haskell. In PADL, pages 91--105, 1999.]]

Digital Library

[20]

S. L. Peyton Jones and J. Launchbury. Unboxed Values as First Class Citizens in a Non-strict Functional Language. In J. Hughes, editor, Proceedings of the Conference on Functional Programming and Computer Architecture, pages 636--666, Cambridge, Massachussets, USA, 26--28 August 1991. Springer-Verlag LNCS523.]]

Digital Library

[21]

G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In Analysis and Visualization Tools for Constraint Programming, pages 23--61. Springer LNCS 1870, 2000.]]

Digital Library

[22]

C. Randell and H. L. Muller. The Well Mannered Wearable Computer. Personal and Ubiquitous Computing, 6(1):31--36, February 2002.]]

Digital Library

[23]

Z. Somogyi, F. Henderson, and T. Conway. The Execution Algorithm of Mercury:an E cient Purely Declarative Logic Programming Language. JLP, 29(1 ?3), October 1996.]]

[24]

R. Stevens. A Survey of Stream Processing. Acta Informatica, 34:491--541, 1997.]]

[25]

W. Thies, M. Karczmarek, and S. Amarasinghe. StreamIt: A Language for Streaming Applications. In International Conference on Compiler Construction, number 2304 in LNCS, pages 179--196. Springer Verlag, 2002.]]

Digital Library

[26]

P. Van Roy. Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, Univ. of California Berkeley, 1990. Report No. UCB/CSD 90/600.]]

Digital Library

[27]

C. Vaucheret and F. Bueno. More Precise yet Efficient Type Inference for Logic Programs. In Proc. of SAS'02, pages 102--116. Springer LNCS 2477, 2002.]]

Digital Library

[28]

M. Wallace. Functional Programming and Embedded Systems. PhD thesis, York University, January 1995.]]

[29]

G. Welch and G. Bishop. An Introduction to the Kalman Filter. Technical Report TR95-041, Department of Computer Science, University of North Carolina-Chapel Hill, November 1995.]]

Digital Library

[30]

M. Wolfe. How Compilers and Tools Differ for Embedded Systems. In International Conference on Compilers, Architecture, and Synthesis for Embedded Systems. ACM and IEEE Computer Society, September 2005. Keynote Speech.]]

Digital Library

Cited By

Hermenegildo MMorales JLopez-Garcia PCarro M(2023)Types, Modes and so Much More – The Prolog WayProlog: The Next 50 Years10.1007/978-3-031-35254-6_2(23-37)Online publication date: 17-Jun-2023
https://doi.org/10.1007/978-3-031-35254-6_2
KÖRNER PLEUSCHEL MBARBOSA JCOSTA VDAHL VHERMENEGILDO MMORALES JWIELEMAKER JDIAZ DABREU SCIATTO G(2022)Fifty Years of Prolog and BeyondTheory and Practice of Logic Programming10.1017/S147106842200010222:6(776-858)Online publication date: 17-May-2022
https://doi.org/10.1017/S1471068422000102
Kaghat FAzough AFakhour M(2018)SARIM: A gesture-based sound augmented reality interface for visiting museums2018 International Conference on Intelligent Systems and Computer Vision (ISCV)10.1109/ISACV.2018.8354050(1-9)Online publication date: Apr-2018
https://doi.org/10.1109/ISACV.2018.8354050
Show More Cited By

Index Terms

High-level languages for small devices: a case study

Recommendations

Compiling with continuations, continued
Proceedings of the ICFP '07 conference

We present a series of CPS-based intermediate languages suitable for functional language compilation, arguing that they have practical benefits over direct-style languages based on A-normal form (ANF) or monads. Inlining of functions demonstrates the ...
Part-compilation in high-level languages
Abstract
Many programming languages include the ability to divide large programs into smaller segments, which are compiled separately. When a small modification is made to a large program, then the affected segment only has to be re-compiled.

This paper ...
Macro processing in high-level languages

A macro language is proposed. It enables macro processing in high-level programming languages. Macro definitions in this language refer to the grammars of the respective programming languages. These macros introduce new constructs in programming ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CASES '06: Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems

October 2006

448 pages

ISBN:1595935436

DOI:10.1145/1176760

General Chairs:
Seongsoo Hong
Seoul National University
,
Wayne Wolf
Princeton University
,
Program Chairs:
Krisztian Flautner
ARM Ltd.
,
Taewhan Kim
Seoul National University

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 October 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ESWEEK06

Sponsor:

ESWEEK06: Second Embedded Systems Week 2006

October 22 - 25, 2006

Seoul, Korea

Acceptance Rates

Overall Acceptance Rate 52 of 230 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
305
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hermenegildo MMorales JLopez-Garcia PCarro M(2023)Types, Modes and so Much More – The Prolog WayProlog: The Next 50 Years10.1007/978-3-031-35254-6_2(23-37)Online publication date: 17-Jun-2023
https://doi.org/10.1007/978-3-031-35254-6_2
KÖRNER PLEUSCHEL MBARBOSA JCOSTA VDAHL VHERMENEGILDO MMORALES JWIELEMAKER JDIAZ DABREU SCIATTO G(2022)Fifty Years of Prolog and BeyondTheory and Practice of Logic Programming10.1017/S147106842200010222:6(776-858)Online publication date: 17-May-2022
https://doi.org/10.1017/S1471068422000102
Kaghat FAzough AFakhour M(2018)SARIM: A gesture-based sound augmented reality interface for visiting museums2018 International Conference on Intelligent Systems and Computer Vision (ISCV)10.1109/ISACV.2018.8354050(1-9)Online publication date: Apr-2018
https://doi.org/10.1109/ISACV.2018.8354050
Li DCai XHan CLiu Y(2012)The Research and Analysis of Lexical Analyzer in Prolog CompilerApplied Mechanics and Materials10.4028/www.scientific.net/AMM.229-231.1733229-231(1733-1737)Online publication date: Nov-2012
https://doi.org/10.4028/www.scientific.net/AMM.229-231.1733
Kaghat FCubaud P(2010)Fluid interaction in audio-guided museum visitProceedings of the 11th International conference on Virtual Reality, Archaeology and Cultural Heritage10.5555/2384524.2384551(163-170)Online publication date: 21-Sep-2010
https://dl.acm.org/doi/10.5555/2384524.2384551
Guzman PCarro MHermenegildo M(2009)Towards a Complete Scheme for Tabled Execution Based on Program TransformationProceedings of the 11th International Symposium on Practical Aspects of Declarative Languages10.1007/978-3-540-92995-6_16(224-238)Online publication date: 10-Jan-2009
https://dl.acm.org/doi/10.1007/978-3-540-92995-6_16
Casas ACarro MHermenegildo M(2008)Towards a high-level implementation of execution primitives for unrestricted, independent and-parallelismProceedings of the 10th international conference on Practical aspects of declarative languages10.5555/1785754.1785770(230-247)Online publication date: 7-Jan-2008
https://dl.acm.org/doi/10.5555/1785754.1785770
de Guzmán PCarro MHermenegildo MSilva CRocha R(2008)An improved continuation call-based implementation of tablingProceedings of the 10th international conference on Practical aspects of declarative languages10.5555/1785754.1785768(197-213)Online publication date: 7-Jan-2008
https://dl.acm.org/doi/10.5555/1785754.1785768
Morales JCarro MHermenegildo MAntoy SAlbert E(2008)Comparing tag scheme variations using an abstract machine generatorProceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming10.1145/1389449.1389455(32-43)Online publication date: 15-Jul-2008
https://dl.acm.org/doi/10.1145/1389449.1389455
Casas ACarro MHermenegildo M(2008)Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-ParallelismPractical Aspects of Declarative Languages10.1007/978-3-540-77442-6_16(230-247)Online publication date: 2008
https://doi.org/10.1007/978-3-540-77442-6_16
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents