Skip to Main content Skip to Navigation
Conference papers

Programming Microcontrollers in Ocaml: the OCaPIC Project

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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01213289
Contributor : Lip6 Publications <>
Submitted on : Thursday, October 8, 2015 - 11:04:27 AM
Last modification on : Thursday, March 21, 2019 - 1:20:30 PM

Identifiers

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. pp.132-148, ⟨10.1007/978-3-319-19686-2_10⟩. ⟨hal-01213289⟩

Share

Metrics

Record views

248