Programming Microcontrollers in OCaml: The OCaPIC Project

  • Benoît Vaugon
  • Philippe Wang
  • Emmanuel Chailloux
Conference paper

DOI: 10.1007/978-3-319-19686-2_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9131)
Cite this paper as:
Vaugon B., Wang P., Chailloux E. (2015) Programming Microcontrollers in OCaml: The OCaPIC Project. In: Pontelli E., Son T. (eds) Practical Aspects of Declarative Languages. PADL 2015. Lecture Notes in Computer Science, vol 9131. Springer, Cham

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.

Keywords

Microcontroller Virtual machine Programming language implementation OCaml Applications 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Benoît Vaugon
    • 1
  • Philippe Wang
    • 2
  • Emmanuel Chailloux
    • 2
  1. 1.U2IS, ENSTA ParisTechPalaiseauFrance
  2. 2.LIP6, CNRS UMR 7606, UPMCParisFrance

Personalised recommendations