@inproceedings{867fcd2568394aef981137d9c69c47ee,
title = "Complementing Ada with other programming languages",
abstract = "This paper presents our experience in using Ada and the Ravenscar profile in a robotics non-profit association and in a robotics competition. While Ada is our primary and dominant language, we have complemented it with a hardware description language (Verilog) and an interactive language (Forth). We describe the interface between those languages, and the design choices that have been made to minimize the risks taken by leaving the Ada world. We also explain why we chose in some conditions to relax restrictions imposed by the use of the Ravenscar profile.",
keywords = "Ada streams, FPGA, Ravenscar high integrity profile, Robotics",
author = "Samuel Tardieu and Alexis Polti",
year = "2009",
month = dec,
day = "1",
doi = "10.1145/1647420.1647444",
language = "English",
isbn = "9781605584751",
series = "Proceedings of the ACM SIGAda Annual International Conference; SIGAda",
pages = "105--114",
booktitle = "SIGAda 2009 - Proceedings of the ACM International Conference on Ada and Related Technologies",
note = "ACM International Conference on Ada and Related Technologies, SIGAda 2009 ; Conference date: 01-11-2009 Through 05-11-2009",
}