Programming Microcontrollers in Ocaml: the OCaPIC Project

Benoît Vaugon Philippe Wang Emmanuel Chailloux 1
1 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : PIC microcontrollers are low-cost programmable integrated circuits,consume very little energy, but are hard to program due to very little available resources. They are traditionally programmed using low-level languages (e.g., assembler or subsets of C), which provide very few safeguards if any. This paper presents the issues we had to solve to successfully port a modern multi-paradigm general-purpose programming language, which notably provides automatic memory management and strong static type checking, to this rather peculiar hardware.
Type de document :
Communication dans un congrès
International Symposium on Practical Aspects of Declarative Languages (PADL 2015), Jun 2015, Portland, OR, United States. Springer Verlag, 9131, pp.132-148, Lecture Notes in Computer Science. 〈10.1007/978-3-319-19686-2_10〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01213289
Contributeur : Lip6 Publications <>
Soumis le : jeudi 8 octobre 2015 - 11:04:27
Dernière modification le : vendredi 31 août 2018 - 09:25:55

Identifiants

Collections

Citation

Benoît Vaugon, Philippe Wang, Emmanuel Chailloux. Programming Microcontrollers in Ocaml: the OCaPIC Project. International Symposium on Practical Aspects of Declarative Languages (PADL 2015), Jun 2015, Portland, OR, United States. Springer Verlag, 9131, pp.132-148, Lecture Notes in Computer Science. 〈10.1007/978-3-319-19686-2_10〉. 〈hal-01213289〉

Partager

Métriques

Consultations de la notice

146