Programming Microcontrollers in OCaml: The OCaPIC Project

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...

Full description

Saved in:
Bibliographic Details
Published inPractical Aspects of Declarative Languages Vol. 9131; pp. 132 - 148
Main Authors Vaugon, Benoît, Wang, Philippe, Chailloux, Emmanuel
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2015
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Applications
Computer programming / software development
Microcontroller
OCaml
Programming & scripting languages: general
Programming language implementation
Software Engineering
Virtual machine
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:Philippe Wang—This work started while the author was at LIP6-UPMC.
ISBN:9783319196855
3319196855
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-19686-2_10