Practical Aspects of Declarative Languages

Volume 9131 of the series Lecture Notes in Computer Science pp 132-148


Programming Microcontrollers in OCaml: The OCaPIC Project

  • Benoît VaugonAffiliated withU2IS, ENSTA ParisTech Email author 
  • , Philippe WangAffiliated withLIP6, CNRS UMR 7606, UPMC
  • , Emmanuel ChaillouxAffiliated withLIP6, CNRS UMR 7606, UPMC

* Final gross prices may vary according to local VAT.

Get Access


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.


Microcontroller Virtual machine Programming language implementation OCaml Applications