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 metadata
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Thursday, October 8, 2015 - 11:04:27 AM
Last modification on : Friday, January 8, 2021 - 5:32:06 PM



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⟩



Les métriques sont temporairement indisponibles