Abstract
As Ada compilation systems with specific support for the Ravenscar Profile become available, users have the opportunity to assess the expressive power of the profile and the effectiveness of the relevant technology. User feedback in both respects may significantly contribute to furthering the maturity of the profile and the confidence of the user community. This paper provides some such feedback discussing the lessons learned on the port of a space application to GNAT/ORK, an open-source implementation of the profile.
Cite
CITATION STYLE
Vardanega, T., García, R., & de la Puente, J. A. (2001). An application case for ravenscar technology: Porting OBOSS to GNAT/ORK. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2043, pp. 392–404). Springer Verlag. https://doi.org/10.1007/3-540-45136-6_32
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
